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-07-2021
End date
31-12-2023
Existing situation
Ongoing