"87" Result
Sort By:
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))
0
Type: Book
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 textbook on program verification emphasises the role of verification in software development.
