Runtime Verification of Component-Based Embedded Software.

Hasan Sözer Christian Hofmann Bedir Tekinerdogan Mehmet Aksit

Published in: ISCIS (2011)

Keyphrases

embedded software
development projects
embedded systems
software architecture
model checking
information systems
database systems
low cost
open source
autonomous agents