Вы здесь

Главная

кибер-физическая система

Связанные издания:

Algorithms and Architectures for Parallel Processing, Part I: Proc./15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 2015
Algorithms for Sensor Systems: Revised Selected Papers/14th International Symposium on Algorithms and Experiments for Wireless Sesor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 2018
Ambient Intelligence: Proc./13th European Conference, AmI 2017, Malaga, Spain, April 2017
Architecture of Computing Systems - ARCS 2017: Proc./30th International Conference, Vienna, Austria, April 2017
Architecture of Computing Systems - ARCS 2018: Proc./31st International Conference, Braunschweig, Germany, April 2018
Automated Technology for Verification and Analysis: Proc./17th International Symposium, ATVA 2019, Taipei, Taiwan, October 2019
Biomimetic and Biohybrid Systems: Proc./3rd International Conference, Living Machines 2014, Milan, Italy, August 2014
Communication Systems and Networks: Reised Selected and Invited Papers/9th International Conference, COMSNETS 2017, Bengaluru, India, January 2017
Computer Security: ESORICS 2021 International Workshops: CyberCPS, SECPRE, ADIoT, SPOSE, CPS4CIP, and CDT&SECOMANE, Darmstadt, Germany, October 2021
Computer Security: Revised Selected Papers/ESORICS 2020 International Workshops, CyberCPS, SECPRE, and ADIoT, Guildford, UK, September 2020
Critical Information Infrastructures Security: Revised Selected Papers/16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 2021
Cyber-Physical Security for Critical Infrastructures Protection: Revised Selected Papers/1st International Workshop, CPS4CIP 2020, Gulldford, UK, September 2020
Cyber-Physical Systems: Design, Modeling, and Evaluation: Proc./5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 2015
Cyber Physical Systems: Design, Modeling, and Evaluation: Revised Selected Papers/6th International Workshop, CyPhy 2016, Pittsburgh,PA,USA, October 2016
Cyber Physical Systems: Design, Modeling, and Evaluation: Revised Selected Papers/7th International Workshop, CyPhy 2017, Seoul, South Korea, October 2017
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018, Turin, Italy, October 2018
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019, Ney York City,NY,USA, October 2019
Dependable Software Engineering: Theories, Tools, and Applications: Proc./1st International Symposium, SETTA 2015, Nanjing, China, November 2015
Dependable Software Engineering: Theories, Tools, and Applications: Proc./2nd International Symposium, SETTA 2016, Beijing, China, November 2016
Dynamic Data Driven Application Systems: Proc./3rd International Conference, DDDAS 2020, Boston,MA,USA, October 2020
Engineering Trustworthy Software Systems: Tutorial Lecture/1st International School, SETSS 2014, Chongqing, China, September 2014
Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Modeling and Analysis of Timed Systems: Proc./17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 2019
Foundations of Augmented Cognition: Proc./8th International Conference, AC 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014
Green, Pervasive, and Cloud Computing: Proc./15th International Conference, GPC 2020, Xi'an, China, November 2020
Industrial Applications of Holonic and Multi-Agent Systems: Proc./8th International Conference, HoloMAS 2017, Lyon, France, August 2017
Interactive Collaborative Robotics: Proc./3rd International Conference, ICR 2018, Leipzig, Germany, September 2018
Internet and Distributed Computing Systems: Proc./7th International Conference, IDCS 2014, Calabria, Italy, September 2014
Measurement, Modelling and Evaluation of Computing Systems: Proc./20th International Conference, MMB 2020, Saarbrücken, Germany, March 2020
Model and Data Engineering: Proc./9th International Conference, MEDI 2019, Toulouse, France, October 2019
Model-Based Safety and Assessment: Proc./6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 2019
Numerical Software Verification: Proc./10th International Workshop, NSV 2017, Heidelberg, Germany, July 2017
Numerical Software Verification: Revised Selected Papers/9th International Workshop, NSV 2016, Toronto,ON,Canada, July 2016
Principles of Modeling: Essays Dedicated to Edward A.Lee on the Occasion of His 60th Birthday
Quantitative Evaluation of Systems: Proc./16th International Conference, QEST 2019, Glasgow, UK, September 2019
Reliable Software Technologies - Ada-Europe 2017: Proc./22nd Ada-Europe International Conference on RST, Vienna, Austria, June 2017
Risk Assessment and Risk-Driven Quality Assurance: Revised Selected Papers/4th International Workshop, RISK 2016 Held in Conjunction with ICTSS 2016, Graz, Austria, October 2016
RoboCup 2013: Robot World Cup XVII
Software Engineering and Formal Methods: Proc./17th International Conference, SEFM 2019, Oslo, Norway, September 2019
Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017
Software Engineering: Revised Tutorial Lectures/ International Summer Schools, LASER 2013-2014, Elba, Italy,
Symbiotic Interaction: Revised Selected Papers/5th International Workshop, Symbiotic 2016, Padua, Italy, September 2016
Symbiotic Interaction: Revised Selected Papers/6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 2017
Universal Access in Human-Computer Interaction: Aging and Assistive Environments, Part III: Proc./8th International Conference, UAHCI 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014
Verification, Model Checking, and Abstract Interpretation: Proc./18th International Conference, VMCAI 2017, Paris, France, January 2017
Virtual, Augmented and Mixed Reality. Designing and Developing Virtual and Augmented Environments, Part I: Proc./6th International Conference, VAMR 2014 Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 2014
Кибер-физические системы