More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille, Rolf Drechsler. More than true or false: native support of irregular values in the automatic validation & verification of UML/OCL models. In Jean-Pierre Talpin, Patricia Derler, Klaus Schneider 0001, editors, Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017. pages 77-86, ACM, 2017. [doi]

This author has not been identified. Look up 'Nils Przigoda' in GoogleThis author has not been identified. Look up 'Philipp Niemann' in GoogleThis author has not been identified. Look up 'Judith Peters' in GoogleThis author has not been identified. Look up 'Frank Hilken' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL