Login / Signup
Verification of a safety-critical railway interlocking system with real-time constraints.
Vicky Hartonas-Garmhausen
Sérgio Vale Aguiar Campos
Alessandro Cimatti
Edmund M. Clarke
Fausto Giunchiglia
Published in:
Sci. Comput. Program. (2000)
Keyphrases
</>
safety critical
formal methods
safety analysis
real time
nuclear power plant
embedded systems
fault tolerant
agent architecture
regulatory requirements
support systems
model checking
low cost
control system
formal specification
knowledge based systems
recommender systems
e learning