On the use of assertions for embedded-software dynamic verification.

Giuseppe Di Guglielmo Luigi Di Guglielmo Franco Fummi Graziano Pravadelli

Published in: DDECS (2012)

Keyphrases

embedded software
embedded systems
knowledge base
software architecture
development projects
information systems
relational databases
object oriented
low cost
distributed systems