Projects of the institution

Results 1-3 of 3

TitleStartdateProject leader
DSI2: Identifizieren dynamischer Datenstrukturen durch Beobachtung von Programmabläufen01-04-2018Lüttgen, Gerald  
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik01-09-2016Lüttgen, Gerald  
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic01-06-2020Lüttgen, Gerald