Wissenschaftliche Publikationen
Liste als BibTeX-Datei exportieren
2020
- Generation of Co-simulation Algorithms Subject to Simulator Contracts In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, September 2020. Springer, Cham. Details DOI BIB