Project Details
Person
Professor Dr. Peter H. Schmitt
Address
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)
Post Office Box 6980
76128 Karlsruhe
-
As Applicant
-
Completed projects
-
Integrierter Deduktiver Software-Entwurf (Research Grants)
-
Formal Object-oriented Software Development: The Whole Picture (Research Grants) -
Integration von Modellprüfung und Automatischer Testgenerierung (Research Grants)
-
-
Completed projects
-
As Participating Person
-
Completed projects
-
Integrierter Deduktiver Software-Entwurf (Research Grants)
-
-
Completed projects
