Industrial Application of Formal Models Generated from Domain Specific Languages

Jozef Hooman. Industrial Application of Formal Models Generated from Domain Specific Languages. In Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Volume 9660 of Lecture Notes in Computer Science, pages 277-293, Springer, 2016. [doi]

Abstract

Abstract is missing.