• Medientyp: E-Book
  • Titel: Towards causality checking for complex system models
  • Beteiligte: Leitner-Fischer, Florian [Verfasser:in]; Leue, Stefan [Verfasser:in]
  • Erschienen: Konstanz: Bibliothek der Universität Konstanz, 2012
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • Identifikator:
  • Entstehung:
  • Anmerkungen: Aus: Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VIII. Model-Based Development of Embedded Systems 06.02.2012 – 08.02.2012. Tagungsband / Holger Giese, Michaela Huhn, Jan Philipps, Bernhard Schätz. - S. 71-80
  • Zugangsstatus: Freier Zugang