- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2021
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2021
- Creator
-
Sakr, Mouhammad
- DOI
-
10.22028/D291-34159
- URN
-
urn:nbn:de:bsz:291--ds-341594
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 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.
Associated
- Sakr, Mouhammad
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2021
Other Objects (12)
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Exploring the limits of parameterized system verification
Exploring the limits of parameterized system verification
Mechanical Verification of Parameterized Real-Time Systems
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs