Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components - Nicolescu, G.; Jerraya, A. A.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2007)
Keywords: 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