Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Holonomic Sequences in Program Verification
01.07.2018 - 30.06.2021
Forschungsförderungsprojekt
Personen
Projektleiter_in
Projektass. Dr.techn. Maximilian Jaroschek
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Fördergeber Typ Forschungsförderungsinstitutionen
Forschungsschwerpunkte
Information and Communication Technology