Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Projektass.
Harshit Jitendra Motwani
PhD
Phone
E-Mail
harshit.motwani@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
Business Card
https://orcid.org/0000-0002-2142-4254
Affiliations
Keywords
Research area
Name
Management/Member
Research Unit of Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
Artificial Intelligence
Artificial Intelligence
Automated Reasoning
Automated Reasoning
Angewandte Geometrie
Applied Geometry
Software Verifikation
Software Verification
Angewandte Algebra
Applied Algebra
Formale Methoden
Formal Methods
