|
[JD12]
Yosr Jarraya and Mourad Debbabi.
Formal Specification and Probabilistic Verification of SysML Activity Diagrams.
In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12).
2012.
[Presents a framework for probabilistic verification of SysML activity diagrams via a translation to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|