Measure confidence of assurance cases in safety-critical domains.

Chung-Ling Lin Wuwei Shen Steven Drager Betty H. C. Cheng

Published in: ICSE (NIER) (2018)

Keyphrases

safety critical
fault tolerant
agent architecture
formal methods
safety analysis
nuclear power plant
embedded systems
computational intelligence
support systems
real time
decision making
recommender systems
management system
case base
adaptive systems