- Sprache
-
Englisch
- Identifier
-
1236571320
- Beteiligte Personen und Organisationen
-
Sakr, Mouhammad
- DOI
-
10.22028/D291-34159
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 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.
Objekttyp
- Monografie
Beteiligte
- Sakr, Mouhammad
Ähnliche Objekte (12)
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system
Verification and Enforcement of Safe Schedules for Concurrent Programs
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system
Verification and Enforcement of Safe Schedules for Concurrent Programs
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system