Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components / [electronic resource] :
edited by G. Nicolescu, A. A. Jerraya.
- Dordrecht : Springer Netherlands, 2007.
- v.: digital
9781402061530
Engineering Software engineering Information theory Computer simulation Computer aided design Systems engineering Engineering Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling Theory of Computation Special Purpose and Application-Based Systems