On the Correctness of Model Transformations in the Development of Embedded Systems.

Gabor Karsai Anantha Narayanan

Published in: Monterey Workshop (2006)

Keyphrases

embedded systems
embedded real time systems
real time
high level
case study
low cost
commercial software
embedded devices
safety critical
artificial intelligence
communication technologies
computing power
resource limited