Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon
Closed access
Author
Date
1997Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-001805984Publication status
publishedExternal links
Search print copy at ETH Library
Contributors
Examiner: Kündig, Albert
Journal / series
TIK-SchriftenreiheVolume
Publisher
ETH ZürichSubject
OBERON (PROGRAMMIERSPRACHEN); ABSTRAKTE DATENTYPEN (PROGRAMMIERSPRACHEN); VERIFIKATION (SOFTWARE ENGINEERING); OBERON (PROGRAMMING LANGUAGES); ABSTRACT DATA TYPES (PROGRAMMING LANGUAGES); VERIFICATION (SOFTWARE ENGINEERING)Notes
Diss. Techn. Wiss. ETH Zürich, Nr. 12056, 1997. Ref.: Albert Kündig ; Korref.: Clemens H. Cap.More
Show all metadata
ETH Bibliography
yes
Altmetrics