Logga in

Jerraya, A. A.

Global Specification and Validation of Embedded Systems

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

109,95€

E-bok, PDF, Adobe DRM-skydd
ISBN: 9781402061530
DRM-begränsningar

Skriva utInte tillåtet
Kopiera till urklippInte tillåtet

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

Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000

Författare
 
Utgivare
Springer
Utgivningsår
2007
Språk
en
Utgåva
1
Kategori
Teknologi, energi, trafik
Format
E-bok
eISBN (PDF)
9781402061530

Liknande e-böcker