|
[JD14]
Yosr Jarraya and Mourad Debbabi.
Quantitative and qualitative analysis of SysML activity diagrams.
International Journal on Software Tools for Technology Transfer, 16(4), pages 399-419.
2014.
[Presents a framework for probabilistic verification of SysML activity diagrams via a translation to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|