Scalable hybrid verification for embedded software.

Jörg Behrend Djones Lettnin Patrick Heckeler Jürgen Ruf Thomas Kropf Wolfgang Rosenstiel

Published in: DATE (2011)

Keyphrases

embedded software
software architecture
embedded systems
development projects
sequence diagrams
business processes
model checking
data mining
software engineering