- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 500 Seiten
- Language
-
Englisch
- Notes
-
Braunschweig, Technische Universität Braunschweig, Dissertation, 2023
- Keyword
-
Verifikation
Programmverifikation
Model Checking
Formale Methode
Nebenläufigkeit
Softwarespezifikation
- Event
-
Veröffentlichung
- (where)
-
Braunschweig
- (who)
-
Technische Universität Braunschweig
- (when)
-
2024
- Creator
- Contributor
- URN
-
urn:nbn:de:gbv:084-2024022909345
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:49 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
- Muskalla, Sebastian
- Meyer, Roland
- Holík, Lukáš
- Zetzsche, Georg
- Technische Universität Braunschweig
Time of origin
- 2024
Other Objects (12)
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Operating in Hostile, Harsh and Remote Environment
Sexual harassment in the United States : analyzing the hostile environment
Algebraic certificates for Budan's theorem
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Hostile Constitutional Interpretation
A Cellular Automata Land-Use Model For The R Software Environment
Infeasibility Certificates for Linear Matrix Inequalities
A verification environment for I-O-automata based on formalized meta-theory
Disapproved Registration Certificates
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Operating in Hostile, Harsh and Remote Environment
Sexual harassment in the United States : analyzing the hostile environment
Algebraic certificates for Budan's theorem
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Hostile Constitutional Interpretation
A Cellular Automata Land-Use Model For The R Software Environment
Infeasibility Certificates for Linear Matrix Inequalities
A verification environment for I-O-automata based on formalized meta-theory
Disapproved Registration Certificates
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Operating in Hostile, Harsh and Remote Environment
Sexual harassment in the United States : analyzing the hostile environment
Algebraic certificates for Budan's theorem
LIFE CERTIFICATES
Employment Certificates
Certificates Service
Hostile Constitutional Interpretation
A Cellular Automata Land-Use Model For The R Software Environment
Infeasibility Certificates for Linear Matrix Inequalities
A verification environment for I-O-automata based on formalized meta-theory