- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Sprache
-
Deutsch
- Anmerkungen
-
Cottbus, Brandenburgische Techn. Univ., Diss., 2001
- Schlagwort
-
Verteiltes System
Verifikation
Transitionssystem
Nebenläufigkeit
Halbordnung
Spurtheorie
- Urheber
- URN
-
urn:nbn:de:kobv:co1-000000275
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:52 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Spezifikationsbasiertes Testen verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Das Verhalten verteilter Systeme
Grafische Konfiguration verteilter Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme
Architektur verteilter Workflow-Management-Systeme
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Spezifikationsbasiertes Testen verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Das Verhalten verteilter Systeme
Grafische Konfiguration verteilter Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme
Architektur verteilter Workflow-Management-Systeme
Analyse verteilter Systeme mit Hilfe von Prozeßautomaten
Analyse sicherheitsrelevanter verteilter Systeme
Analyse eingebetteter Systeme mittels verteilter Simulation
Modellierung und Analyse verteilter Entwicklungsprozesse für mechatronische Systeme
Spezifikationsbasiertes Testen verteilter Systeme
Administrative Skalierbarkeit verteilter Systeme
Das Verhalten verteilter Systeme
Grafische Konfiguration verteilter Systeme
Ein Beitrag zur algebraischen Analyse verteilter und ereignisdiskreter Systeme
Optimale Steuerung verteilter, ereignisdiskreter Systeme
Architektur verteilter Workflow-Management-Systeme