Selma Djeddai, Mohamed Mezghiche, Martin Strecker. A Case Study in Combining Formal Verification and Model-Driven Engineering. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets, editors, Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012. Volume 848 of CEUR Workshop Proceedings, pages 275-289, CEUR-WS.org, 2012. [doi]
Abstract is missing.