- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical Reports ; TR-1993-003
- Klassifikation
-
Informatik
- Schlagwort
-
ESTELLE
- Ereignis
-
Veröffentlichung
- (wo)
-
Mannheim
- (wer)
-
Universitätsbibliothek Mannheim
- (wann)
-
1993
- Urheber
-
Hofmann, Bernd
Effelsberg, Wolfgang
- URN
-
urn:nbn:de:bsz:180-madoc-8388
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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.
Beteiligte
- Hofmann, Bernd
- Effelsberg, Wolfgang
- Universitätsbibliothek Mannheim
Entstanden
- 1993
Ähnliche Objekte (12)
Executable specifications for language implementation
Generating efficient test oracles from specifications
Improving the Efficiency of Automated Protocol Implementation Using Estelle
Implementation of combinator specifications : notions and proving techniques
Efficient implementation of stream transformations
An algorithm for transforming LOTOS specifications for implementation
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale
Estelle : pastorale
Efficient implementation of ideal lattice-based cryptography
Efficient implementation of the localized orthogonal decomposition method
Executable specifications for language implementation
Generating efficient test oracles from specifications
Improving the Efficiency of Automated Protocol Implementation Using Estelle
Implementation of combinator specifications : notions and proving techniques
Efficient implementation of stream transformations
An algorithm for transforming LOTOS specifications for implementation
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale
Estelle : pastorale
Efficient implementation of ideal lattice-based cryptography
Efficient implementation of the localized orthogonal decomposition method
Executable specifications for language implementation
Generating efficient test oracles from specifications
Improving the Efficiency of Automated Protocol Implementation Using Estelle
Implementation of combinator specifications : notions and proving techniques
Efficient implementation of stream transformations
An algorithm for transforming LOTOS specifications for implementation
Dittenberger, Estelle
Estelle : Pastorale
Estelle : pastorale
Estelle : pastorale
Efficient implementation of ideal lattice-based cryptography