Detailseite
Person
Professor Dr. Peter H. Schmitt
Adresse
Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)
Postfach 6980
76128 Karlsruhe
-
Als Antragsteller
-
abgeschlossene Projekte
-
Integrierter Deduktiver Software-Entwurf (Sachbeihilfen)
-
Formal Object-oriented Software Development: The Whole Picture (Sachbeihilfen) -
Integration von Modellprüfung und Automatischer Testgenerierung (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als Beteiligte Person
-
abgeschlossene Projekte
-
Integrierter Deduktiver Software-Entwurf (Sachbeihilfen)
-
-
abgeschlossene Projekte
