Header fortiss wissenschaftliche Publikationen
Wissenschaftliche Publikationen

Veröffentlichungen mit Forschungsergebnissen

Wissenschaft­liche Publikationen

Stichworte: Contract-based code generation

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, September 2020. Springer, Cham. Details DOI BIB
click to return to top of page