- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
31 cm
- Extent
-
X, 162 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Cottbus, Brandenburgische Techn. Univ., Diss., 2001 (Nicht für den Austausch)
- Keyword
-
Verteiltes System
Verifikation
Transitionssystem
Nebenläufigkeit
Halbordnung
Spurtheorie
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:12 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Spezifikationsbasiertes Testen verteilter Systeme
Das Verhalten verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Grafische Konfiguration verteilter Systeme
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Szenariobasierte Synthese verteilter mechatronischer Systeme
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Spezifikationsbasiertes Testen verteilter Systeme
Das Verhalten verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Grafische Konfiguration verteilter Systeme
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Szenariobasierte Synthese verteilter mechatronischer Systeme
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Spezifikationsbasiertes Testen verteilter Systeme
Das Verhalten verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Grafische Konfiguration verteilter Systeme
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme