Modeling and verifying embedded operating systems

Metadata Label Value
Author(s): Mack, Raphael
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Institut für Computersysteme
Citation:

Mack, Raphael. Modeling and verifying embedded operating systems. ETH, Eidgenössische Technische Hochschule Zürich, Institut für Computersysteme (2008). http://dx.doi.org/10.3929/ethz-a-005575233

Document Type: Master and Bachelor Theses  
Documents: Text (468.27KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Modeling and verifying embedded operating systems
Author(s) Mack, Raphael
Publication Place Zürich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Institut für Computersysteme
Publication Date 2008
Notes Master Thesis, ETH Zurich, April 3, 2008
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005575233
Subject(s) Software
Keyword(s) VERIFICATION
REAL-TIME SYSTEMS
Organisational Unit Computer Systems Institute
Online Publication Date 2008
Description File Name MIME Type Size
Text   eth-30359-01.pdf application/pdf 468.27KB
Abstract Views and Downloads
Views 424  abstracts
Downloads 618  downloads

Abstract Views and Downloads by Country
Views 136  abstracts
Downloads 161  downloads
Germany Views 45  abstracts
Downloads 96  downloads
United States Views 24  abstracts
Downloads 62  downloads
China Views 69  abstracts
Downloads 49  downloads
United Kingdom Views 29  abstracts
Downloads 42  downloads
Japan Views abstracts
Downloads 27  downloads
Switzerland Views 33  abstracts
Downloads 26  downloads
India Views abstracts
Downloads 19  downloads
Korea, Republic of Views abstracts
Downloads 14  downloads
Canada Views abstracts
Downloads 10  downloads
France Views 15  abstracts
Downloads 10  downloads
Brazil Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Italy Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Pakistan Views abstracts
Downloads downloads
Taiwan Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Argentina Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Czech Republic Views abstracts
Downloads downloads
Ethiopia Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads
Algeria Views abstracts
Downloads downloads
Chile Views abstracts
Downloads downloads
Costa Rica Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Jordan Views abstracts
Downloads downloads
Kuwait Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Mexico Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
Uruguay Views abstracts
Downloads downloads
Norway Views abstracts
Downloads downloads
Saudi Arabia Views abstracts
Downloads downloads


E-Collection record created: Fri, 16 May 2008, 01:11:41 CET