Project Details
Björn Brandenburg, Ph.D.
Address
Max-Planck-Institut für Softwaresysteme
Campus E1 4
66123 Saarbrücken
-
As Applicant
-
Completed projects
-
RT-proofs: Formal proofs for real-time systems (Research Grants)
-
-
Completed projects