Login / Signup
An Automatic SPIN Validation of a Safety Critical Railway Control System.
Stefania Gnesi
Diego Latella
Gabriele Lenzini
C. Abbaneo
Arturo M. Amendola
P. Marmo
Published in:
DSN (2000)
Keyphrases
</>
safety critical
control system
safety analysis
fault tolerant
nuclear power plant
embedded systems
formal methods
agent architecture
fuzzy logic
support systems
semi automatic
object oriented
load balancing
machine learning
traffic management
case based reasoning
knowledge representation
regulatory requirements