fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: contract-based-design

Liste als BibTeX-Datei exportieren

2019

  • September 2019 Semantics of Co-simulation Algorithms with Simulator Contracts Cláudio Gomes , Levi Lúcio und Hans Vangheluwe In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Seiten 784–798, September 2019. IEEE. Details DOI BIB