Login

Jerraya, A. A.

Global Specification and Validation of Embedded Systems

Jerraya, A. A. - Global Specification and Validation of Embedded Systems, ebook

124,00€

Ebook, PDF with Adobe DRM
ISBN: 9781402061530
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
Publisher
Springer
Publication year
2007
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9781402061530

Similar titles