Project Details
Person
Professor Dr. Horst Reichel
Address
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Nöthnitzer Straße 46
01187 Dresden
-
As Applicant
-
Completed projects
-
Koalgebraische Softwareverifikation (Research Grants)
-
-
Completed projects
-
As Participating Researcher
-
Completed projects
-
GRK 191: Tools for the Effective Use of Parallel and Distributed Computing Systems (Research Training Groups)
-
GRK 334: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (Research Training Groups)
-
-
Completed projects
-
As Ehemaliger Antragsteller
-
Completed projects
-
Formale Spezifikation und Verifikation wesentlicher Sicherheitseigenschaften eines Mikrokerns (Research Grants) to 3/2006
-
-
Completed projects
