Overview of 10 Years of ISVV Findings in Safety-Critical Systems.

Nuno Silva Rui Lopes

Published in: ISSRE Workshops (2012)

Keyphrases

safety critical
formal methods
safety analysis
agent architecture
embedded systems
management system
support systems
data mining
case study
regulatory requirements
artificial intelligence
distributed systems
learning systems
nuclear power plant