- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 500 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Braunschweig, Technische Universität Braunschweig, Dissertation, 2023
- Schlagwort
-
Verifikation
Programmverifikation
Model Checking
Formale Methode
Nebenläufigkeit
Softwarespezifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Braunschweig
- (wer)
-
Technische Universität Braunschweig
- (wann)
-
2024
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:084-2024022909345
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 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
- Muskalla, Sebastian
- Meyer, Roland
- Holík, Lukáš
- Zetzsche, Georg
- Technische Universität Braunschweig
Entstanden
- 2024
Ähnliche Objekte (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