- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
25 cm
- Extent
-
187 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2012
- Bibliographic citation
-
Aachener Informatik-Berichte ; 2012,17
- Keyword
-
Weltraumforschung, Raumfahrt, Raumfahrzeug, Satellit, Formale Methode, Verifikation, Validierung, Modellierung, Krylov-Verfahren, Markov-Modell
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
RWTH, Dep. of Computer Science
- (when)
-
2013
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:23 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Nguyen, Viet Yen
- RWTH, Dep. of Computer Science
Time of origin
- 2013
Other Objects (12)
Trustworthy spacecraft design using formal methods
Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software
Spacecraft architectures using commercial off-the-shelf components
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Soyuz : a universal spacecraft
Spacecraft navigation and guidance
Software product and process quality improvement using formal methods
Trustworthy spacecraft design using formal methods
Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software
Spacecraft architectures using commercial off-the-shelf components
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Soyuz : a universal spacecraft
Spacecraft navigation and guidance
Software product and process quality improvement using formal methods
Trustworthy spacecraft design using formal methods
Formal Methods for Trustworthy Voting Systems : From Trusted Components to Reliable Software
Spacecraft architectures using commercial off-the-shelf components
Trustworthy authority
Trustworthy Preservation Planning
Trustworthy artificial intelligence
Trustworthy by Convention
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Soyuz : a universal spacecraft
Spacecraft navigation and guidance