Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani. On the Probabilistic Verification of Time Constrained SysML State Machines. In Hamido Fujita, Guido Guizzi, editors, Intelligent Software Methodologies, Tools and Techniques - 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings. Volume 532 of Communications in Computer and Information Science, pages 425-441, Springer, 2015. [doi]
Abstract is missing.