Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications.

Marc Sango Laurence Duchien Christophe Gransart

Published in: FACS (2014)

Keyphrases

safety critical
formal methods
safety analysis
nuclear power plant
modeling language
fault tolerant
embedded systems
information systems
support systems
knowledge acquisition
model checking
databases
case based reasoning
learning process
expert systems
cooperative
machine learning