Login / Signup
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.
Konstantinos Mokos
Panagiotis Katsaros
Nick Bassiliades
Vangelis Vassiliadis
Maxime Perrotin
Published in:
JCKBSE (2008)
Keyphrases
</>
semantic representation
safety analysis
natural language
nuclear power plant
control system
safety critical
symbolic model checking
conceptual graphs
fault model
databases
machine learning
knowledge base
model checking
embedded systems
information systems
general purpose