Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Bibliographic citation
-
Informatik-Berichte ; Ausgabe 216, 2007
- Keyword
-
Verfeinerung
Transition
Algorithmus
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2007
- Creator
- DOI
-
10.18452/2477
- URN
-
urn:nbn:de:kobv:11-10090034
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 AM CEST
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.
Associated
- Hohberg, Bodo
- Reisig, Wolfgang
- Wu, Bixia
- Humboldt-Universität zu Berlin
Time of origin
- 2007
Other Objects (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
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
32: Verfeinerung
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
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
32: Verfeinerung
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
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Methodisches Programmieren : Entwicklung von Algorithmen durch schrittweise Verfeinerung
Algorithmen zur Vergröberung und Verfeinerung von netzartigen Diagrammen
Petrinetzmodelle verteilter Algorithmen : Beweistechnik und Intuition
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen