Hochschulschrift
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
IX, 183 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Mannheim, Univ., Diss., 1997
- Keyword
-
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Einprozessorsystem
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Mehrprozessorsystem
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Hardwareentwurf
Softwareentwicklung
Field programmable gate array
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:54 AM CET
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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Atomarität in parallel implementierten Estelle-Spezifikationen
A Formal Syntax and a Formal Semantics for Open Estelle
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Design of a Formal Estelle Semantics for Verification
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle
Estelle : Pastorale
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Atomarität in parallel implementierten Estelle-Spezifikationen
A Formal Syntax and a Formal Semantics for Open Estelle
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Design of a Formal Estelle Semantics for Verification
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle
Estelle : Pastorale
Formale Spezifikation und Implementierung von Hochleistungsprotokollen
Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Atomarität in parallel implementierten Estelle-Spezifikationen
A Formal Syntax and a Formal Semantics for Open Estelle
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Testgenerierung aus Spezifikationen in Estelle und SDL
Design of a Formal Estelle Semantics for Verification
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
Endliche Implementierung algebraischer Spezifikationen
Dittenberger, Estelle