Fail-safe testing of safety-critical systems: a case study and efficiency analysis.

Ahmed Gario Anneliese Andrews Seana Hagerman

Published in: Softw. Qual. J. (2018)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
management system
learning systems
support systems
artificial intelligence
statistical analysis
control system
intelligent systems
knowledge based systems
modeling language
fault model