Global Specification and Validation of Embedded Systems
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Netherlands

9781402061516, 9781402061530

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Anatomy of a Hardware/Software Execution Model in Heterogeneous Systems

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_5 ◽

2007 ◽

pp. 59-74

Author(s):

G. Nicolescu ◽

A. A. Jerraya

Keyword(s):

Heterogeneous Systems ◽

Execution Model ◽

Software Execution

Download Full-text

Heterogeneous Systems Validation Based on Execution Models

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_4 ◽

2007 ◽

pp. 47-57

Author(s):

G. Nicolescu ◽

A. A. Jerraya

Keyword(s):

Heterogeneous Systems ◽

Execution Models

Download Full-text

Methodology for Heterogeneous Systems Validation

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_7 ◽

2007 ◽

pp. 109-145

Author(s):

G. Nicolescu ◽

A. A. Jerraya

Keyword(s):

Heterogeneous Systems

Download Full-text

Anatomy of a Continuous/Discrete System Execution Model for Timed Execution of Heterogeneous Systems

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_6 ◽

2007 ◽

pp. 75-108

Author(s):

L. Gheorghe ◽

F. Bouchhima ◽

G. Nicolescu ◽

M. Abid

Keyword(s):

Discrete System ◽

Heterogeneous Systems ◽

Execution Model

Download Full-text

Execution Models

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_3 ◽

2007 ◽

pp. 31-46

Author(s):

L. Kriaa

Keyword(s):

Execution Models

Download Full-text

Heterogeneous Systems Modeling: Basic Concepts

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_2 ◽

2007 ◽

pp. 5-30

Author(s):

L. Kriaa

Keyword(s):

Heterogeneous Systems ◽

Systems Modeling ◽

Download Full-text

Introduction

Global Specification and Validation of Embedded Systems ◽

10.1007/978-1-4020-6153-0_1 ◽

2007 ◽

pp. 1-3

Author(s):

G. Nicolescu ◽

A. A. Jerraya

Download Full-text