- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Konstanz, Universität Konstanz, Dissertation, 2023
- Schlagwort
-
Verifikation
Eingebettetes System
Model Checking
Echtzeitsystem
Zuverlässigkeit
Kausalität
Zeitbehafteter Automat
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2022
- Urheber
-
Kölbl, Martin
- URN
-
urn:nbn:de:bsz:352-2-bqy0y8exesky9
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 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
- Kölbl, Martin
- KOPS Universität Konstanz
Entstanden
- 2022
Ähnliche Objekte (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