Jerraya, A. A.
Global Specification and Validation of Embedded Systems
Table of contents
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
- Author(s)
- Jerraya, A. A.
- Nicolescu, G.
- Publisher
- Springer
- Publication year
- 2007
- Language
- en
- Edition
- 1
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9781402061530
