Login / Signup
Verification of Temporal Properties in Automotive Embedded Software.
Djones Lettnin
Pradeep Kumar Nalla
Jürgen Ruf
Thomas Kropf
Wolfgang Rosenstiel
Tobias Kirsten
Volker Schönknecht
Stephan Reitemeyer
Published in:
DATE (2008)
Keyphrases
</>
temporal properties
embedded software
model checking
formal methods
software architecture
embedded systems
development projects
formal specification
possibility theory
sequence diagrams
machine learning
case study
database systems
multi agent systems
software development
incomplete information