Type-Safety in EA Model Analysis

Thomas Reschenhofer, Ivan Monahov, Florian Matthes. Type-Safety in EA Model Analysis. In Georg Grossmann, Sylvain Hallé, Dimka Karastoyanova, Manfred Reichert, Stefanie Rinderle-Ma, editors, 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOC Workshops 2014, Ulm, Germany, September 1-2, 2014. pages 87-94, IEEE, 2014. [doi]

Authors

Thomas Reschenhofer

This author has not been identified. Look up 'Thomas Reschenhofer' in Google

Ivan Monahov

This author has not been identified. Look up 'Ivan Monahov' in Google

Florian Matthes

This author has not been identified. Look up 'Florian Matthes' in Google