Catalog

Record Details

Catalog Search



Global Specification and Validation of Embedded Systems [electronic resource] : Integrating Heterogeneous Components / edited by G. Nicolescu, A. A. Jerraya.

Nicolescu, G. (editor.). Jerraya, A. A. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9781402061530
  • Physical Description: online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2007.
Subject: Engineering.
Software engineering.
Information theory.
Computer simulation.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Simulation and Modeling.
Theory of Computation.
Special Purpose and Application-Based Systems.

Additional Resources