Hochschulschrift
Formale Spezifikation mit Estelle und die automatische Implementierung auf Von-Neummann- und Co-Design-Architekturen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
IX, 183 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Mannheim, Univ., Diss., 1997
- Schlagwort
-
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Einprozessorsystem
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Mehrprozessorsystem
Formale Spezifikationstechnik
ESTELLE
Automatische Programmierung
Hardwareentwurf
Softwareentwicklung
Field programmable gate array
- 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, 11:54 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)
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