Safety Patterns for SysML: What Does OMG Specify?

Nan Niu Logan Johnson Christopher Diltz

Published in: ICSR (2020)

Keyphrases

safety analysis
database
control system
website
pattern analysis
formal methods
neural network
data analysis
data mining techniques
pattern mining
case study
expert systems
frequent patterns
safety critical
object management
nuclear power plant