Mohammad-Sadegh Jahanpour, Ph.D.
Affiliations: | 2001 | Université de Montréal, Montréal, Canada |
Area:
Computer ScienceGoogle:
"Mohammad-Sadegh Jahanpour"Parents
Sign in to add mentorEduard Cerny | grad student | 2001 | Université de Montréal | |
(Compositional verification using interface recognizers/suppliers (IRS).) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Jahanpour MS, Mohamed OA. (2004) Automatic generation of model checking properties and constraints from production based specification Midwest Symposium On Circuits and Systems. 3 |