Model-Checking zur Analyse von Message Sequence Charts über Statecharts

Thumbnail
Veröffentlichung
2010-03-19
Authors
Canver, Ercüment
Arbeitspapier


Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Series
Ulmer Informatik-Berichte
Abstract
N/A
Date created
1999
Subject headings
[GND]: Message sequence chart | Statechart
[LCSH]: UML: Computer science
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2
Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-1710

Canver, Ercüment (2010): Model-Checking zur Analyse von Message Sequence Charts über Statecharts. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-1710
Citation formatter >