Mohammad-Sadegh Jahanpour, Ph.D.

Affiliations: 
2001 Université de Montréal, Montréal, Canada 
Area:
Computer Science
Google:
"Mohammad-Sadegh Jahanpour"

Parents

Sign in to add mentor
Eduard Cerny grad student 2001 Université de Montréal
 (Compositional verification using interface recognizers/suppliers (IRS).)
BETA: Related publications

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
See more...