Open access
Author
Date
2008Type
- Master Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-005575233Publication status
publishedPublisher
ETH, Eidgenössische Technische Hochschule Zürich, Institut für ComputersystemeSubject
VERIFIKATION (SOFTWARE ENGINEERING); ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (BETRIEBSSYSTEME); VERIFICATION (SOFTWARE ENGINEERING); REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (OPERATING SYSTEMS)Organisational unit
02641 - Institut für Computersysteme (ehem.) / Computer Systems Institute (former)
Notes
Master Thesis, ETH Zurich, April 3, 2008.More
Show all metadata
ETH Bibliography
yes
Altmetrics