Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.

Aiman Gannous Anneliese Andrews

Published in: ISSRE (2019)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
nuclear power plant
support systems
agent architecture
adaptive systems
cooperative
case study
database systems
expert systems
intelligent agents