Embedded systems development: from functional models to implementations
by Embedded Systems Week, Real-Time Systems Symposium, WSS, Workshop on Software Synthesis, TiMoBD, Time Analysis and Model-Based Design, SOMRES, Workshop on Synthesis and Optimization Methods for Real-Time Embedded Systems
fromEmbedded systems (Springer (Firm))
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driv…
"This book explores different applications in V et V that spawn many areas of software development -including real time applications- where V et V techniques are required, providing in all cases examples of the applications"--Provided by publisher.
"This book explores different applications in V & V that spawn many areas of software development -including real time applications- where V & V techniques are required, providing in all cases examples of the applications"--Provided by publisher.
