Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Effective Formal Methods for Smart-Contract Certification
01.09.2023 - 31.08.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Maria Christaki
(E194-01)
Laura Kovacs
(E192-04)
Matteo Maffei
(E192-06)
Subprojektmanager_innen
Eva Schenner
(E194-01)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
E192-06 - Forschungsbereich Security and Privacy
E194-01 - Forschungsbereich Software Engineering
Förderungsmittel
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Informations- und Kommunikationstechnologien
Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)
Forschungsschwerpunkte
Information and Communication Technology
Publikationen
Publikationsliste