Suche

Model Checking and Code Generation for UML State Machines and Collaborations

Alexander Knapp, Stephan Merz

In: Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif (Hgg.). Proc. 5th Wsh. Tools for System Design and Verification. Technischer Bericht 2002-11, Institut für Informatik, Universität Augsburg, 2002. S. 59-64.


Downloads: