EMFeR: Model Checking for Object Oriented (EMF) Models

Christoph Eickhoff, Martin Lange, Simon-Lennert Raesch, Albert Zündorf. EMFeR: Model Checking for Object Oriented (EMF) Models. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019. pages 511-518, SciTePress, 2019. [doi]

Authors

Christoph Eickhoff

This author has not been identified. Look up 'Christoph Eickhoff' in Google

Martin Lange

This author has not been identified. Look up 'Martin Lange' in Google

Simon-Lennert Raesch

This author has not been identified. Look up 'Simon-Lennert Raesch' in Google

Albert Zündorf

This author has not been identified. It may be one of the following persons: Look up 'Albert Zündorf' in Google