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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Dordrecht :
Springer Netherlands
2007.
Cham : Springer Nature |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Global Specification and Validation of Embedded Systems, Texte imprimé, 9781402061516 • Global Specification and Validation of Embedded Systems, Texte imprimé, 9789048113811 • Global Specification and Validation of Embedded Systems, Texte imprimé, 9789048175505 |