Loading…
Model-Implementation Fidelity in Cyber Physical System Design
This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possi...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Molnos, Anca (Editor), Fabre, Christian (Editor) |
Format: | e-Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edition: | 1st ed. 2017. |
Subjects: | |
Online Access: | Full-text access View in OPAC |
Similar Items
-
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things /
by: Marwedel, Peter
Published: (2018) -
Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
by: Seiter, Julia, et al.
Published: (2017) -
Security Policy in System-on-Chip Designs Specification, Implementation and Verification /
by: Ray, Sandip, et al.
Published: (2019) -
Embedded Systems Design with Special Arithmetic and Number Systems
Published: (2017) -
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017 /
Published: (2019)