Fail-Safe Testing of Safety-Critical Systems.

Ahmed Gario Anneliese Amschler Andrews

Published in: Australian Software Engineering Conference (2014)

Keyphrases

case based reasoning
safety critical
expert systems
formal methods
safety analysis
nuclear power plant
fault tolerant
embedded systems
distributed systems
agent architecture
management system
computational intelligence
medical images
intelligent systems
regulatory requirements