Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, coc...

Full description

Main Authors: Nicolescu, G. (Author, http://id.loc.gov/vocabulary/relators/aut), Jerraya, Ahmed A. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Subjects:
Online Access:https://doi.org/10.1007/978-1-4020-6153-0