- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Technical Reports ; TR-1993-003
- Classification
-
Informatik
- Keyword
-
ESTELLE
- Event
-
Veröffentlichung
- (where)
-
Mannheim
- (who)
-
Universitätsbibliothek Mannheim
- (when)
-
1993
- Creator
-
Hofmann, Bernd
Effelsberg, Wolfgang
- URN
-
urn:nbn:de:bsz:180-madoc-8388
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM 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.
Associated
- Hofmann, Bernd
- Effelsberg, Wolfgang
- Universitätsbibliothek Mannheim
Time of origin
- 1993
Other Objects (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