Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783528054335
3528054336
- Dimensions
-
21 cm
- Extent
-
VIII, 280 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Keyword
-
Telekooperation
Kommunikationsprotokoll
Formale Spezifikationstechnik
Verifikation
Produktnetz
- Event
-
Veröffentlichung
- (where)
-
Braunschweig, Wiesbaden
- (who)
-
Vieweg
- (when)
-
1995
- Creator
-
Ochsenschläger, Peter
Prinoth, Rainer
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:17 PM 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
- Ochsenschläger, Peter
- Prinoth, Rainer
- Vieweg
Time of origin
- 1995
Other Objects (12)
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Spezifikation und Verifikation abstrakter Datentypen
Formale Verifikation von MOS-Transistorschaltungen
Modellierung und Verifikation medizinischer Leitlinien
Modulare Spezifikation und Verifikation objektbasierter Programme
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Spezifikation und Verifikation abstrakter Datentypen
Formale Verifikation von MOS-Transistorschaltungen
Modellierung und Verifikation medizinischer Leitlinien
Modulare Spezifikation und Verifikation objektbasierter Programme
Petrinetzmodelle zur Verifikation Verteilter Algorithmen
Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen
Verifikation verteilter Systeme mittels linearer- und Constraint-Programmierung
Softwaretechnologie : Entwurf - Spezifikation - Verifikation
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen
Spezifikation und Verifikation abstrakter Datentypen
Formale Verifikation von MOS-Transistorschaltungen
Modellierung und Verifikation medizinischer Leitlinien