Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Thomas Kropf

Adresse Eberhard Karls Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Lehrstuhl für Technische Informatik
Sand 13
72076 Tübingen

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Schwerpunktprogramme)
  - Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz