Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi. A probabilistic verification framework of SysML activity diagrams. In IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, SoMeT 2013, Budapest, Hungary, September 22-24, 2013. pages 165-170, IEEE, 2013. [doi]
Abstract is missing.