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...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Molnos, Anca (Επιμελητής έκδοσης), Fabre, Christian (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Automatic Methods for the Refinement of System Models From the Specification to the Implementation /
ανά: Seiter, Julia, κ.ά.
Έκδοση: (2017) -
Embedded Systems Design with FPGAs
Έκδοση: (2013) -
Embedded Systems Development From Functional Models to Implementations /
Έκδοση: (2014) -
VLSI Design A Practical Guide for FPGA and ASIC Implementations /
ανά: Chandrasetty, Vikram Arkalgud
Έκδοση: (2011) -
Embedded Systems Design with Special Arithmetic and Number Systems
Έκδοση: (2017)