Model Checking of UML 2.0 Interactions

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Alexander KnappORCiDGND, Jochen Wuttke
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/45449
Parent Title (English):Proc. 5th Int. Wsh. Critical Systems Development Using Modeling Languages (CSDUML'06)
Editor:Siv Hilde Houmb, Geri Georg, Robert France, Dorian C. Petriu, Jan Jürjens
Type:Conference Proceeding
Language:English
Year of first Publication:2006
Release Date:2018/12/17
First Page:52
Last Page:67
Series:R&I Research Note N 20/2006
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering