Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Thomas Kropf

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

Projects

As Applicant
- Completed projects
  - Formale und methodische Integration von graphischer Spezifikation und Echtzeitverifikation im Entwurf komplexer Produktionsautomatisierungssysteme (Priority Programmes)
  - Kombination formaler und semiformaler Techniken zur Verifikation von C-basierten Systembeschreibungen (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy