Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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

Address Sand 13
72076 Tübingen
Deutschland

GERiT This institution in GERiT

72076 Tübingen

Projects

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

© 2024 DFG Disclaimer / Copyright / Privacy Policy