- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Tübingen, Universität Tübingen, Dissertation, 2014
- Klassifikation
-
Ingenieurwissenschaften und Maschinenbau
- Schlagwort
-
Counting
Logic
Elimination
Verifikation ; Konfigurationsprüfung ; Konfiguration ; Automatisches Beweisverfahren ; Erfüllbarkeitsproblem
- Ereignis
-
Veröffentlichung
- (wo)
-
Tübingen
- (wer)
-
Universitätsbibliothek Tübingen
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Küchlin, Wolfgang
- URN
-
urn:nbn:de:bsz:21-dspace-571984
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 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
- Zengler, Christoph
- Küchlin, Wolfgang
- Universitätsbibliothek Tübingen
Entstanden
- 2014
Ähnliche Objekte (12)
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Takata : International Configuration and Coordination of a Japanese Automotive Supplier
Determination of Real-Time Network Configuration for Self-Adaptive Automotive Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
Automotive human centred design methods
Understanding formal methods
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Takata : International Configuration and Coordination of a Japanese Automotive Supplier
Determination of Real-Time Network Configuration for Self-Adaptive Automotive Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
Automotive human centred design methods
Understanding formal methods
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
SAT-based Analysis, (Re-)Configuration & Optimization in the Context of Automotive Product documentation
Formal Configuration of Fault-Tolerant Systems
Formal configuration of fault-tolerant systems
Takata : International Configuration and Coordination of a Japanese Automotive Supplier
Determination of Real-Time Network Configuration for Self-Adaptive Automotive Systems
Forms - Format 2010 : formal methods for automation and safety in railway and automotive systems
Automotive human centred design methods
Understanding formal methods
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings
Formal methods : proceedings