Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Projektass.(FWF)
Mehran Moeini Jam
Master Degree
Phone
E-Mail
mehran.jam@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
E056-26
Service Unit of Automated Reasoning
Business Card
Affiliations
Keywords
Research area
Name
Management/Member
Research Unit of Formal Methods in Systems Engineering
Member
Service Unit of Automated Reasoning
Member
Keywords
Keyword (German)
Keyword (English)
Software Verifikation
Software Verification
Automatentheorie
Automata Theory
Computationale Logik
Computational Logic
Formale Methoden
Formal Methods
