Graphical modelling meets formal methods

Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze. Graphical modelling meets formal methods. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 716-721, IEEE, 2013. [doi]

Abstract

Abstract is missing.