Refinement of Model Specifications in Embedded Systems Design.

Stephan Schulz Jerzy W. Rozenblit

Published in: ECBS (2002)

Keyphrases

embedded systems
embedded real time systems
low cost
embedded devices
case study
high level
design process
computing power
metamodel
formal specification
resource limited