Suche

Model Checking of UML 2.0 Interactions

Alexander Knapp, Jochen Wuttke

In: Siv Hilde Houmb, Geri Georg, Robert France, Dorian C. Petriu, Jan Jürjens (Hgg.). Proc. 5th Int. Wsh. Critical Systems Development Using Modeling Languages (CSDUML'06). telenor, R&I Research Note N 20/2006, 2006. S. 52-67.


Links: