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-06-2020
 
End date
30-11-2022
 
Existing situation
Laufend
 
Acronym
Heterogeneous Specification 3