Detecting safety-related components in statecharts through traceability and model slicing.

Shuanglong Kan Zhiqiu Huang

Published in: Softw. Pract. Exp. (2018)

Keyphrases

computational model
probabilistic model
statistical model
formal model
probability distribution
theoretical analysis
database
real time
information systems
bayesian networks
prior knowledge
management system
theoretical framework
experimental data
neural network model