Kein Cover

Towards causality checking for complex system models

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

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

← Zurück zur Startseite