fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

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

Wissenschaftliche Publikationen

Stichworte: prolog

Liste als BibTeX-Datei exportieren

2020

  • September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, Springer, Cham. Details DOI BIB

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, IEEE. Details DOI BIB