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

Detailseite

Institution

Druckansicht

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

Adresse Sand 13
72076 Tübingen
Deutschland

GERiT Diese Institution in GERiT

72076 Tübingen

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz