Scientific publications

Publications with research results

Scientific publications

Keywords: Constraint solving

2020

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

In addition to the cookies necessary for the operation and smooth functioning of our website, fortiss (see Imprint) uses marketing cookies to analyse and improve the website content. With the help of these cookies, user flow can be analyzed and assessed through pseudonymized data from website users. The types of cookies are described in the Privacy Policy. There you can change your consent at any time.

Mandatory

These cookies are needed for a smooth operation of our website.

Name	Purpose	Lifetime	Type	Provider
CookieConsent	Saves your consent to using cookies.	1 year	HTML	Website