![](/img/cover-not-exists.png)
Detecting safety-related components in statecharts through traceability and model slicing
Kan, Shuanglong, Huang, ZhiqiuLanguage:
english
Journal:
Software: Practice and Experience
DOI:
10.1002/spe.2526
Date:
September, 2017
File:
PDF, 1.57 MB
english, 2017