Inicio > > Ciencias de la computación > Global Specification and Validation of Embedded Systems
Global Specification and Validation of Embedded Systems

Global Specification and Validation of Embedded Systems

Ahmed A. Jerraya / G. Nicolescu

133,17 €
IVA incluido
Consulta disponibilidad
Editorial:
Springer Nature B.V.
Año de edición:
2007
Materia
Ciencias de la computación
ISBN:
9781402061516

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.

Artículos relacionados

Otros libros del autor

  • Global Specification and Validation of Embedded Systems
    Ahmed A. Jerraya / G. Nicolescu
    List of Figures. List of Tables. CHAPTER 1. INTRODUCTION; G.Nicolescu and A.A.Jerraya. CHAPTER 2. HETEROGENEOUS SYSTEMS MODELING: BASIC CONCEPTS; L.Kriaa. 2.1. introduction. 2.2. basic concepts for specification of heterogeneous systems. 2.3. computation model vs. execution model. 2.4. computation model. 2.5. computation model of interconnection. 2.6. computation model for hete...
    Disponible

    183,71 €