Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
Existing situation
Completed
Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
Project leader
Department
Start date
September 1, 2016
End date
August 31, 2021
Acronym
Heterogeneous Specification 2
Permalink https://fis.uni-bamberg.de/handle/uniba/60026