|
[BBMO15]
Abdelhakim Baouya, Djamal Bennouar, Otmane Ait Mohamed and Samir Ouchani.
A quantitative verification framework of SysML activity diagrams under time constraints.
Expert Systems with Applications.
2015.
[Proposes a verification framework using the SysML formalism and probabilistic model checking with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|