Static- and Dynamic Consistency Analysis of UML State Chart Models

Christian Schwarzl, Bernhard Peischl. Static- and Dynamic Consistency Analysis of UML State Chart Models. In Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen, editors, Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Volume 6394 of Lecture Notes in Computer Science, pages 151-165, Springer, 2010. [doi]

Authors

Christian Schwarzl

This author has not been identified. Look up 'Christian Schwarzl' in Google

Bernhard Peischl

This author has not been identified. Look up 'Bernhard Peischl' in Google