On the Probabilistic Verification of Time Constrained SysML State Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Abdelhakim Baouya' in GoogleThis author has not been identified. Look up 'Djamal Bennouar' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Samir Ouchani' in Google

runs on WebDSL