Hochschulschrift
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783929470529
3929470527
- Maße
-
21 cm
- Umfang
-
XIV, 178 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Berlin, Humboldt-Univ., Diss., 1995
- Erschienen in
-
Edition Versal ; Bd. 2
- Schlagwort
-
Verteilter Algorithmus
Petri-Netz
- 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:21 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
- Walter, Rolf
- Bertz
Entstanden
- 1995
Ähnliche Objekte (12)
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Methoden verteilter Simulation
Intuition und Erkenntnis
Früherkennung und Intuition
Agentenbasierte Konfiguration verteilter Steuerungssysteme
Unabhängigkeitstests regional verteilter Zufallsvariablen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Methoden verteilter Simulation
Intuition und Erkenntnis
Früherkennung und Intuition
Agentenbasierte Konfiguration verteilter Steuerungssysteme
Unabhängigkeitstests regional verteilter Zufallsvariablen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Methoden verteilter Simulation
Intuition und Erkenntnis
Früherkennung und Intuition
Agentenbasierte Konfiguration verteilter Steuerungssysteme