El Arbi Aboussoror, Ileana Ober, Iulian Ober. Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. 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 107-123, Springer, 2013. [doi]
Abstract is missing.