Login / Signup
Semiformal Verification of Temporal Properties in Embedded Software.
Djones Lettnin
Pradeep Kumar Nalla
Jürgen Ruf
Roland J. Weiss
Axel G. Braun
Joachim Gerlach
Thomas Kropf
Wolfgang Rosenstiel
Published in:
MBMV (2007)
Keyphrases
</>
temporal properties
embedded software
model checking
formal methods
software architecture
development projects
embedded systems
sequence diagrams
possibility theory
data mining
knowledge based systems