Project Details
Person
Professor Dr. Eike Best
Address
Carl von Ossietzky Universität Oldenburg
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Department für Informatik
Ammerländer Heerstraße 114-118
26129 Oldenburg
-
As Participating Researcher
-
Completed projects
-
GRK 1076: Trustworthy Software Systems - Construction, Certification, Application (Research Training Groups)
-
-
Completed projects
-
As Ehemaliger Antragsteller
-
Completed projects
-
Comparative Analysis and VERification for Concurrent Correctness-Critical Systems (CAVER) (Research Grants) to 7/2018 -
Algorithms for Reengineering and Synthesis (ARS) (Research Grants) to 10/2018
-
Algorithms for Synthesis and Pre-Synthesis Based on Petri Net Structure Theory (ASYST) (Research Grants) to 10/2018
-
-
Completed projects
