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:
FTCS (1998)
Keyphrases
</>
safety critical
formal methods
safety analysis
real time
fault tolerant
nuclear power plant
embedded systems
agent architecture
model checking
regulatory requirements
control system
adaptive systems
context aware
support systems
knowledge based systems
software engineering
expert systems
databases