C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Graphical modelling meets formal methods.
Stefan Gulan
Sven Johr
Roberto Kretschmer
Stefan Rieger
Michael Ditze
Published in:
INDIN (2013)
Keyphrases
</>
formal methods
formal analysis
model checking
process algebra
provably correct
artificial intelligence
formal specification
knowledge based systems
model checker
safety critical
software engineering
reactive systems
modeling language
temporal properties
knowledge base
database
formal specification language