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