Model checking and code generation for UML state machines and collaborations

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Alexander KnappORCiDGND, Stephan Merz
URN:urn:nbn:de:bvb:384-opus4-452815
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/45281
Parent Title (English):Proceedings of the 5th Workshop on Tools for System Design and Verification
Publisher:Universität Augsburg
Place of publication:Augsburg
Type:Part of a Book
Language:English
Year of first Publication:2002
Publishing Institution:Universität Augsburg
Release Date:2019/01/16
First Page:59
Last Page:64
Series:Technischer Bericht ; 2002-11
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für die Grundlagen des Software & Systems Engineering
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht