Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Projektass.(FWF)
Robin Coutelier
MSc
Telefon
E-Mail
robin.coutelier@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
E056-17
Fachbereich Trustworthy Autonomous Cyber-Physical Systems
Visitenkarte
https://orcid.org/0009-0002-4735-5215
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Fachbereich Trustworthy Autonomous Cyber-Physical Systems
Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Automated Reasoning
Automated Reasoning
Cybersecurity
Cybersecurity
Computational Logic
Computational Logic
Formal Methods
Formal Methods
