Hochschulschrift
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
- Sprache
-
Deutsch
- Umfang
-
170 S.
- Maße
-
30 cm
- Anmerkungen
-
graph. Darst.
Berlin, Univ., Diss., 2001 (Nicht für den Austausch)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Schlagwort
-
Verteilter Algorithmus
Verifikation
Schrittweise Verfeinerung
Halbordnung
Petri-Netz
Transitionssystem
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:32 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)
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Verfeinerung in der objektorientierten Programmkonstruktion
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation
Verfeinerung in der objektorientierten Programmkonstruktion
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Effizienzabschätzungen und experimentelle Verifikation paralleler Algorithmen für lineare Gleichungssysteme der VLSI-Netzwerksimulation