Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models

Ludovic Apvrille, Pierre de Saqui-Sannes. Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. In Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed, editors, SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Volume 7916 of Lecture Notes in Computer Science, pages 91-106, Springer, 2013. [doi]

Abstract

Abstract is missing.