Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=999813676
Link zu diesem Datensatz | https://d-nb.info/999813676 |
Art des Inhalts | Hochschulschrift |
Titel | Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen / Alexander Johannes Raschke |
Person(en) | Raschke, Alexander (Verfasser) |
Ausgabe | [Online-Ausg.] |
Sekundärausgabe | Online-Ausg.: [2010]. Online-Ressource |
Zeitliche Einordnung | Erscheinungsdatum: 2009 |
Umfang/Format | X, 182 S. : graph. Darst. ; 30 cm, ca. 1,5 MB |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Raschke, Alexander: Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen |
Hochschulschrift | Ulm, Univ., Diss., 2009 |
Persistent Identifier | URN: urn:nbn:de:bsz:289-vts-71759 |
URL | http://vts.uni-ulm.de/docs/2010/7175/vts_7175_10094.pdf (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Deutsch (ger) |
Schlagwörter | Programmtransformation ; Model Checking ; UML 2 ; Verifikation |
DDC-Notation | 005.12028 [DDC22ger] |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |