Keynote 1: "Analysis of design parameters in safety-critical systems".

Published in: IDT (2016)

Keyphrases

safety critical
safety analysis
design parameters
formal methods
fault tolerant
nuclear power plant
case study
data analysis
agent architecture
support systems
data mining
cooperative