Towards a Framework for Modelling and Verification of Relay Interlocking Systems.

Anne E. Haxthausen

Published in: Monterey Workshop (2010)

Keyphrases

main contribution
distributed systems
multi agent
probabilistic model
asynchronous circuits
building blocks
computer systems
hardware designs
automated verification
model checking
complex systems
theoretical framework
computer vision
expert systems
digital libraries
learning environment
multiscale
web services