Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
Existing situation
Completed
Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic
Project leader
Department
Start date
July 1, 2021
End date
March 31, 2024
Category
Sonstiges
Acronym
Heterogeneous Specification 3
Permalink https://fis.uni-bamberg.de/handle/uniba/60347