Jozef Hooman, Teun Hendriks. Model-Based Run-Time Error Detection. In Holger Giese, editor, Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers. Volume 5002 of Lecture Notes in Computer Science, pages 225-236, Springer, 2007. [doi]
Abstract is missing.