Komposition temporallogischer Spezifikationen Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions

Bibliographische Detailangaben

1. Verfasser:	Alexander, Adrianna 1973- (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	German
Veröffentlicht:	Göttingen Cuvillier 2006
Ausgabe:	1. Aufl.
Schlagworte:	Verteiltes System - Subsystem - Spezifikation - Verifikation - Temporale Logik Verteiltes System Verifikation Spezifikation Subsystem Temporale Logik Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!