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
Business Card
https://orcid.org/0009-0002-4735-5215
Affiliations
Keywords
Research area
Name
Management/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
