An Approach for Creating Domain Specific Visualisations of CSP Models

Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel. An Approach for Creating Domain Specific Visualisations of CSP Models. In Carlos Canal, Akram Idani, editors, Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Volume 8938 of Lecture Notes in Computer Science, pages 20-35, Springer, 2014. [doi]

Authors

Lukas Ladenberger

This author has not been identified. Look up 'Lukas Ladenberger' in Google

Ivaylo Dobrikov

This author has not been identified. Look up 'Ivaylo Dobrikov' in Google

Michael Leuschel

This author has not been identified. It may be one of the following persons: Look up 'Michael Leuschel' in Google