Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
Project leader
Department
Start date
01-09-2016
End date
31-08-2021
Existing situation
Completed