- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Konstanz, Universität Konstanz, Dissertation, 2023
- Keyword
-
Verifikation
Eingebettetes System
Model Checking
Echtzeitsystem
Zuverlässigkeit
Kausalität
Zeitbehafteter Automat
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2022
- Creator
-
Kölbl, Martin
- URN
-
urn:nbn:de:bsz:352-2-bqy0y8exesky9
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Kölbl, Martin
- KOPS Universität Konstanz
Time of origin
- 2022
Other Objects (12)
Interventional Fairness : Causal Database Repair for Algorithmic Fairness
Concepts and tools of computer-assisted policy analysis, Vol. 2.. Causal systems analysis
Causal Analysis after Haavelmo
Soul : first analysis, reanalysis, and repair
Inequality and the Crisis: A Causal Inference Analysis
Genome-wide analysis of DNA damage and repair
Genome-wide analysis of DNA damage and repair
Parameterized verification and repair of concurrent systems
Analysis of Causal Inconsistencies on Windows
Mass, Momentum and Energy of Causal Fermion Systems
Automated repair for timed systems
Causal Analysis of Policy Effects on Fertility
Interventional Fairness : Causal Database Repair for Algorithmic Fairness
Concepts and tools of computer-assisted policy analysis, Vol. 2.. Causal systems analysis
Causal Analysis after Haavelmo
Soul : first analysis, reanalysis, and repair
Inequality and the Crisis: A Causal Inference Analysis
Genome-wide analysis of DNA damage and repair
Genome-wide analysis of DNA damage and repair
Parameterized verification and repair of concurrent systems
Analysis of Causal Inconsistencies on Windows
Mass, Momentum and Energy of Causal Fermion Systems
Automated repair for timed systems
Causal Analysis of Policy Effects on Fertility
Interventional Fairness : Causal Database Repair for Algorithmic Fairness
Concepts and tools of computer-assisted policy analysis, Vol. 2.. Causal systems analysis
Causal Analysis after Haavelmo
Soul : first analysis, reanalysis, and repair
Inequality and the Crisis: A Causal Inference Analysis
Genome-wide analysis of DNA damage and repair
Genome-wide analysis of DNA damage and repair
Parameterized verification and repair of concurrent systems
Analysis of Causal Inconsistencies on Windows
Mass, Momentum and Energy of Causal Fermion Systems
Automated repair for timed systems