Cross-Platform Verification Framework for Embedded Systems.

Ingomar Wenzel Raimund Kirner Bernhard Rieder Peter P. Puschner

Published in: SEUS (2007)

Keyphrases

embedded systems
cross platform
databases
computing power
embedded software
sensor networks
model checking
software architecture
processing power
embedded devices