Modelling and Verification of Relay Interlocking Systems.
Anne E. HaxthausenMarie Le BliguetAndreas A. KjærPublished in: Monterey Workshop (2008)
Keyphrases
- complex systems
- knowledge based systems
- distributed systems
- management system
- probabilistic model
- multimodal biometrics
- asynchronous circuits
- formal methods
- computer systems
- computational intelligence
- real time
- control system
- expert systems
- learning environment
- metadata
- decision making
- computer vision
- learning algorithm
- machine learning