Login / Signup

Metric proposal for system testing models verification for safety critical systems.

Lukás SpendlaPavol TanuskaLukas Smolarik
Published in: SISY (2013)
Keyphrases
  • safety critical
  • formal methods
  • safety analysis
  • fault tolerant
  • nuclear power plant
  • intelligent systems
  • support systems
  • fault model
  • knowledge base
  • knowledge based systems
  • learning systems
  • model checking