Towards causality checking for complex system models

Leitner-Fischer, Florian ; Leue, Stefan 2013 Bibliothek der Universität Konstanz

Link zu diesem Datensatz

https://d-nb.info/1112610006

Titel

Towards causality checking for complex system models

Art des Inhalts

Monographie

Verfassangaben

Florian Leitner-Fischer ; Stefan Leue

Autor(en)

• Leitner-Fischer, Florian
• Leue, Stefan

Verlag

Konstanz : Bibliothek der Universität Konstanz [2013]

Jahr

Erscheinungsdatum: 2013

Umfang/Format

Online-Ressource

Online

https://nbn-resolving.org/urn:nbn:de:bsz:352-233173

Sprache

eng

Anmerkungen

• In: Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband / Giese, Holger; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard (Hrsg.). - S. 71-80
• In: Model-Based Development of Embedded Systems, 6. Feb 2012 - 8. Feb 2012

Stand

02.12.2025 16:04

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

Verlagstext laden