Open access
Author
Date
2014Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-010068802Publication status
publishedExternal links
Search print copy at ETH Library
Journal / series
TIK-SchriftenreiheVolume
Publisher
ETH-ZürichSubject
REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS); ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME); ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING); RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING)Organisational unit
01207 - SR Elektrotechnik und Informationstechn.02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
More
Show all metadata
ETH Bibliography
yes
Altmetrics