Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based diagnosis patterns for model checking. In Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani, editors, Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. Volume 1693 of CEUR Workshop Proceedings, pages 7-12, CEUR-WS.org, 2016. [doi]
Abstract is missing.