Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-Oriented Verification Management. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 354-370, Springer, 2018. [doi]
Abstract is missing.