C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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