Hochschulschrift
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
VII, 209 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
Dortmund, Univ., Diss., 2004 (Nicht für den Austausch)
- Klassifikation
-
Informatik
- Schlagwort
-
Verteiltes System
Dialogsystem
Reaktives System
Systementwurf
Formale Spezifikationstechnik
Verifikation
- Urheber
-
Wedig, Arnim
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:02 MESZ
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
- Wedig, Arnim
Ähnliche Objekte (12)
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Formale Modellierung asynchroner Systeme
Formal methods in systems engineering
Formal methods for transport systems
Formale Beschreibungstechniken für verteilte Systeme
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Formale Modellierung asynchroner Systeme
Formal methods in systems engineering
Formal methods for transport systems
Formale Beschreibungstechniken für verteilte Systeme
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen : formale Basis und Beiträge zur Theorie
Formale Methodik des Entwurfs verteilter objektorientierter Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Formale Fehlermodellierung für verteilte reaktive Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Eine Methodik für die formale Anforderungsspezifikation verteilter Systeme
Formale Anwendung von Sicherheitsmethoden bei der Entwicklung verteilter Systeme
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Formale Modellierung asynchroner Systeme
Formal methods in systems engineering
Formal methods for transport systems