Model Checking of UML 2.0 Interactions
| Author: | Alexander KnappORCiDGND, Jochen Wuttke |
|---|---|
| Frontdoor URL | https://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 |
| Date of Publication (online): | 2018/12/17 |
| Year of first Publication: | 2006 |
| Publishing Institution: | Universität Augsburg |
| 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 |
