Detailseite
Person
Professor Jan Kretinsky, Ph.D.
Adresse
Masarykova Univerzita
Fakulta informatiky
Katedra teorie programování
Botanická 554/68a
602 00 Brno
Tschechische Republik
-
Als Antragsteller
-
abgeschlossene Projekte
-
Verifizierte Model Checker (Sachbeihilfen)
-
Statistische unbegrenzte Überprüfung (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als beteiligter Wissenschaftler
-
laufende Projekte
-
GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)
-
-
laufende Projekte
-
Als Ehemaliger Antragsteller
-
abgeschlossene Projekte
-
Group-by-Ziele bei der probabilistichen Verifikation (Sachbeihilfen) bis 12/2023
-
-
abgeschlossene Projekte
