Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic


Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
 
Project leader
 
 
Start date
01-07-2021
 
End date
31-12-2023
 
Existing situation
Ongoing
 
Acronym
Heterogeneous Specification 3