Verification Framework for UML-Based Design of Embedded Systems.

Martin Kardos Yuhong Zhao

Published in: DIPES (2004)

Keyphrases

embedded systems
software systems
low cost
software architecture
hw sw
computing power
embedded software
processing power
embedded devices
real time image processing
resource limited
real time systems
formal methods
safety critical
conceptual model
design process
real time
software development
consumer electronics