Semi-automatic safety analysis and optimization.

Peter Munk Andreas Abele Eike Thaden Arne Nordmann Rakshith Amarnath Markus Schweizer Simon Burton

Published in: DAC (2018)

Keyphrases

semi automatic
safety analysis
fully automatic
gold standard
nuclear power plant
safety critical
symbolic model checking
ontology construction
fault model
decision making
expert systems
control system
ontology mapping