Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Projektass.(FWF)
Robin Coutelier
MSc
Phone
E-Mail
robin.coutelier@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
E056-17
Service Unit of Trustworthy Autonomous Cyber-Physical Systems
Business Card
https://orcid.org/0009-0002-4735-5215
Affiliations
Keywords
Research area
Name
Management/Member
Service Unit of Trustworthy Autonomous Cyber-Physical Systems
Member
Research Unit of Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
Automated Reasoning
Automated Reasoning
Cybersecurity
Cybersecurity
Computational Logic
Computational Logic
Formal Methods
Formal Methods
