Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783528054335
3528054336
- Maße
-
21 cm
- Umfang
-
VIII, 280 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
- Schlagwort
-
Telekooperation
Kommunikationsprotokoll
Formale Spezifikationstechnik
Verifikation
Produktnetz
- Ereignis
-
Veröffentlichung
- (wo)
-
Braunschweig, Wiesbaden
- (wer)
-
Vieweg
- (wann)
-
1995
- Urheber
-
Ochsenschläger, Peter
Prinoth, Rainer
- 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:17 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.
Beteiligte
- Ochsenschläger, Peter
- Prinoth, Rainer
- Vieweg
Entstanden
- 1995
Ähnliche Objekte (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