A Transformation Framework From SysML to AltaRica Models for System Safety Analysis.

Yanhong Dong Jun Hu Lisong Wang Ximeng Huang

Published in: EITCE (2022)

Keyphrases

safety analysis
nuclear power plant
decision making
fuzzy logic
decision makers
symbolic model checking