- Weitere Titel
-
Formale Verifikation eines kleinen Echtzeitbetriebssystems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2011
- Klassifikation
-
Informatik
- Schlagwort
-
Echtzeitsystem ; Verifikation ; Implementierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2011
- Urheber
-
Schmidt, Mareike Dorothee
- Beteiligte Personen und Organisationen
-
Paul, Wolfgang J.
- URN
-
urn:nbn:de:bsz:291-scidok-38447
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Schmidt, Mareike Dorothee
- Paul, Wolfgang J.
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2011
Ähnliche Objekte (12)
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
Trustworthy Verification of Realtime Systems
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
Trustworthy Verification of Realtime Systems
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Towards Trustworthy Systems - Formal Verification of the seL4 Operating System Kernel
Reusable formal models for concurrency and communication in custom real-time operating systems
Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
Trustworthy Verification of Realtime Systems
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification for ALICA plans