Jerraya, A. A.
Global Specification and Validation of Embedded Systems
1. Introduction
G. Nicolescu, A. A. Jerraya
2. Heterogeneous Systems Modeling: Basic Concepts
L. Kriaa
3. Execution Models
L. Kriaa
4. Heterogeneous Systems Validation Based on Execution Models
G. Nicolescu, A. A. Jerraya
5. Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems
G. Nicolescu, A. A. Jerraya
6. Anatomy of a Continuous/Discrete System Execution Model for Timed Execution of Heterogeneous Systems
L. Gheorghe, F. Bouchhima, G. Nicolescu, M. Abid
7. Methodology for Heterogeneous Systems Validation
G. Nicolescu, A. A. Jerraya
DRM-restrictions
Printing: not available
Clipboard copying: not available
Avainsanat: TECHNOLOGY & ENGINEERING / General TEC000000
- Tekijä(t)
- Jerraya, A. A.
- Nicolescu, G.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2007
- Kieli
- en
- Painos
- 1
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781402061530