Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik


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