- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dortmund, Technische Universität, Dissertation, 2017
- Schlagwort
-
Tabellenkalkulation
Debugging
Modellbasiertes Schließen
Parallelisierung
Konflikt
Constraint-basiertes Schließen
Fehlersuche
- Ereignis
-
Veröffentlichung
- (wo)
-
Dortmund
- (wer)
-
Universitätsbibliothek Dortmund
- (wann)
-
2017
- Urheber
- Beteiligte Personen und Organisationen
-
Jannach, Dietmar
Wotawa, Franz
- Handle
-
2003/36073
- URN
-
urn:nbn:de:101:1-20170901145
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:58 MESZ
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.
Objekttyp
- Hochschulschrift
Beteiligte
- Schmitz, Thomas
- Jannach, Dietmar
- Wotawa, Franz
- Universitätsbibliothek Dortmund
Entstanden
- 2017
Ähnliche Objekte (12)
Explainable automated debugging via large language model-driven scientific debugging
Automated debugging methodology for FPGA-based systems
Automated Debugging Methodology for FPGA-based Systems
Model-based calibration of automated transmissions
Model-based calibration of automated transmissions
Formal methods for automated debugging
An Approach for Model-Based Automated Environmental Product Declaration
Automated Identification of Valid Model Networks Using Model-Based Systems Engineering
Towards a model-based control for thermoplastic automated fiber placement
Automated Model-Based Semantic Registration of Multimodal MR Image Data
Model-based operator guidance in interactive, semi-automated production processes
Automated and algorithmic debugging : first international workshop ; proceedings
Explainable automated debugging via large language model-driven scientific debugging
Automated debugging methodology for FPGA-based systems
Automated Debugging Methodology for FPGA-based Systems
Model-based calibration of automated transmissions
Model-based calibration of automated transmissions
Formal methods for automated debugging
An Approach for Model-Based Automated Environmental Product Declaration
Automated Identification of Valid Model Networks Using Model-Based Systems Engineering
Towards a model-based control for thermoplastic automated fiber placement
Automated Model-Based Semantic Registration of Multimodal MR Image Data
Model-based operator guidance in interactive, semi-automated production processes
Automated and algorithmic debugging : first international workshop ; proceedings
Explainable automated debugging via large language model-driven scientific debugging
Automated debugging methodology for FPGA-based systems
Automated Debugging Methodology for FPGA-based Systems
Model-based calibration of automated transmissions
Model-based calibration of automated transmissions
Formal methods for automated debugging
An Approach for Model-Based Automated Environmental Product Declaration
Automated Identification of Valid Model Networks Using Model-Based Systems Engineering
Towards a model-based control for thermoplastic automated fiber placement
Automated Model-Based Semantic Registration of Multimodal MR Image Data
Model-based operator guidance in interactive, semi-automated production processes