A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis.

Antoine Rollet Fares Saad-Khorchef

Published in: SERA (2007)

Keyphrases

embedded systems
low cost
software systems
computing power
embedded devices
embedded software
real time
image processing
cooperative
source code
resource limited