C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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