Fabrice Kordon, Yann Thierry-Mieg. Experiences in Model Driven Verification of Behavior with UML. In Christine Choppy, Oleg Sokolsky, editors, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Volume 6028 of Lecture Notes in Computer Science, pages 181-200, Springer, 2008. [doi]
Abstract is missing.