A Formal Approach for Analysis and Testing of Reliable Embedded Systems.

Abdelaziz Guerrouat Harald Richter

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

embedded systems
computing power
embedded software
real time systems
embedded devices
case study
low cost
smart card
real time
cooperative
open source
computer simulation
real time image processing
consumer electronics