- Weitere Titel
-
Verifikation und Durchsetzung sicherer Schedules für nebenläufige Programme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Schlagwort
-
Programs
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek
- (wann)
-
2020
- Urheber
- Beteiligte Personen und Organisationen
- DOI
-
10.25534/tuprints-00013432
- URN
-
urn:nbn:de:tuda-tuprints-134321
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
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.
Beteiligte
- Metzler, Patrick
- Peters, Kirstin
- Weissenbacher, Georg
- Universitäts- und Landesbibliothek
Entstanden
- 2020
Ähnliche Objekte (12)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Product Safety Enforcement Forum of Europe (ProSafe).- Berichterstattung des BMWi: Product Safety Enforcement Forum of Europe (ProSafe)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Product Safety Enforcement Forum of Europe (ProSafe).- Berichterstattung des BMWi: Product Safety Enforcement Forum of Europe (ProSafe)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution