Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings /

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods inc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Nakajima, Shin (Επιμελητής έκδοσης), Talpin, Jean-Pierre (Επιμελητής έκδοσης), Toyoshima, Masumi (Επιμελητής έκδοσης), Yu, Huafeng (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Singapore : Springer Singapore : Imprint: Springer, 2017.
Θέματα:	Computer science. Software engineering. Control engineering. Computer Science. Software Engineering. Control.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach /
ανά: Li, ZhiWu, κ.ά.
Έκδοση: (2009)

Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings /
Έκδοση: (2016)

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers /
Έκδοση: (2005)

Organic Computing – Technical Systems for Survival in the Real World
ανά: Müller-Schloer, Christian, κ.ά.
Έκδοση: (2017)

Design of Intelligent Multi-Agent Systems Human-Centredness, Architectures, Learning and Adaptation /
ανά: Ichalkaranje, Nikhil, κ.ά.
Έκδοση: (2005)

System Software Reliability
ανά: Pham, Hoang
Έκδοση: (2006)

Intelligent Control Systems An Introduction with Examples /
ανά: Hangos, Katalin M., κ.ά.
Έκδοση: (2001)

Optimal Observation for Cyber-physical Systems A Fisher-information-matrix-based Approach /
ανά: Song, Zhen, κ.ά.
Έκδοση: (2009)

Optimal Mobile Sensing and Actuation Policies in Cyber-physical Systems
ανά: Tricaud, Christophe, κ.ά.
Έκδοση: (2012)

Software Design for Resilient Computer Systems
ανά: Schagaev, Igor, κ.ά.
Έκδοση: (2016)

Evolving Connectionist Systems The Knowledge Engineering Approach /
ανά: Kasabov, Nikola
Έκδοση: (2007)

Pro Mapping in BizTalk Server 2009
ανά: Dawson, Jim, κ.ά.
Έκδοση: (2009)

Interconnect-Centric Design for Advanced SoC and NoC
Έκδοση: (2005)

Software Product Quality Control
ανά: Wagner, Stefan
Έκδοση: (2013)

Modeling, Design, and Simulation of Systems with Uncertainties
Έκδοση: (2011)

Software Reliability Assessment with OR Applications
ανά: Kapur, P.K, κ.ά.
Έκδοση: (2011)

Cyber-Physical Systems of Systems Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy /
Έκδοση: (2016)

Handbook of Reliability Engineering
Έκδοση: (2003)

Multilayer Control of Networked Cyber-Physical Systems Application to Monitoring, Autonomous and Robot Systems /
ανά: Manfredi, Sabato
Έκδοση: (2017)

Secure and Trustworthy Transportation Cyber-Physical Systems
Έκδοση: (2017)

Static analysis of software : the abstract interpretation /
Έκδοση: (2012)

Programming in HTML and PHP Coding for Scientists and Engineers /
ανά: Brooks, David R.
Έκδοση: (2017)

Proceedings of the 2006 international workshop on Mining software repositories
Έκδοση: (2006)

Sociorobot World A Guided Tour for All /
ανά: Tzafestas, Spyros
Έκδοση: (2016)

Resilient computer system design
ανά: Castano, Victor, κ.ά.
Έκδοση: (2015)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Έκδοση: (2017)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers /
Έκδοση: (2012)

Resilience Assessment and Evaluation of Computing Systems
Έκδοση: (2012)

Selenium WebDriver Recipes in C#
ανά: Zhan, Zhimin
Έκδοση: (2015)

Agile Risk Management
ανά: Moran, Alan
Έκδοση: (2014)

Randomized Algorithms for Analysis and Control of Uncertain Systems
ανά: Tempo, Roberto
Έκδοση: (2005)

Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy
Έκδοση: (2020)

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers /
Έκδοση: (2008)

Architectural Design Conception and Specification of Interactive Systems /
ανά: Vissers, Chris A., κ.ά.
Έκδοση: (2016)

Engineering Adaptive Software Systems Communications of NII Shonan Meetings /
Έκδοση: (2019)

Fault-Diagnosis Applications Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems /
ανά: Isermann, Rolf
Έκδοση: (2011)

Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Έκδοση: (2009)

LabVIEW based Advanced Instrumentation Systems
ανά: Sumathi, S., κ.ά.
Έκδοση: (2007)

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
Έκδοση: (2015)

Object-Oriented Analysis and Design
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_omndaahuj2qjcvbatqtmh8dubp