Login / Signup
Formal modelling and verification of interlocking systems featuring sequential release.
Linh Vu Hong
Anne E. Haxthausen
Jan Peleska
Published in:
Sci. Comput. Program. (2017)
Keyphrases
</>
formal methods
expert systems
distributed systems
complex systems
neural network
artificial intelligence
management system
building blocks
data sets
knowledge representation
intelligent systems
knowledge based systems
security systems