zweidimensionales bewegtes Bild
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
- Location
-
Hannover TIB
- Extent
-
298MB, 01:09:34:01 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Kolloquium für Informatik 2011 ; (Jan. 2011)
- Event
-
Veröffentlichung
- (who)
-
Eidgenössische Technische Hochschule Zürich (ETH Zürich)
- (when)
-
2011-01-01
- Contributor
-
Elphinstone, Kevin
- DOI
-
10.5446/45878
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Elphinstone, Kevin
- Eidgenössische Technische Hochschule Zürich (ETH Zürich)
Time of origin
- 2011-01-01
Other Objects (12)
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Design of the SPEEDOS operating system kernel
Response times of a real-time system with microprogrammed operating system kernel
UNIX operating system : the development tutorial via UNIX kernel services
Trustworthy Verification of Realtime Systems
Towards Efficient Trustworthy Data Systems
Trustworthy decentralized machine learning systems
Towards trustworthy social computing systems
Operating systems : = Betriebssysteme
Trustworthy autonomous - cognitive systems : a structured approach
The Quest for Efficient and Trustworthy Systems
Architecture and framework for trustworthy autonomous systems
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Design of the SPEEDOS operating system kernel
Response times of a real-time system with microprogrammed operating system kernel
UNIX operating system : the development tutorial via UNIX kernel services
Trustworthy Verification of Realtime Systems
Towards Efficient Trustworthy Data Systems
Trustworthy decentralized machine learning systems
Towards trustworthy social computing systems
Operating systems : = Betriebssysteme
Trustworthy autonomous - cognitive systems : a structured approach
The Quest for Efficient and Trustworthy Systems
Architecture and framework for trustworthy autonomous systems
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Design of the SPEEDOS operating system kernel
Response times of a real-time system with microprogrammed operating system kernel
UNIX operating system : the development tutorial via UNIX kernel services
Trustworthy Verification of Realtime Systems
Towards Efficient Trustworthy Data Systems
Trustworthy decentralized machine learning systems
Towards trustworthy social computing systems
Operating systems : = Betriebssysteme
Trustworthy autonomous - cognitive systems : a structured approach
The Quest for Efficient and Trustworthy Systems