C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release.
Linh Vu Hong
Anne E. Haxthausen
Jan Peleska
Published in:
FTSCS (2014)
Keyphrases
</>
formal methods
distributed systems
formal analysis
database systems
learning environment
machine learning
learning systems
dynamic aspects
asynchronous circuits
formal models
modeling method
biometric systems
formal model
building blocks
computer systems
management system
genetic algorithm