Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
Project leader
Department
Start date
01-06-2020
End date
30-11-2022
Existing situation
Ongoing