- Contact
- Find an expert
- News releases
- Communiqués de presse
Experts listed by
Displaying 1 result.
1
| Contact Information | Expertise |
|---|---|
| Search results containing ALL of the keywords used | |
|
Dr. Otmane Ait Mohamed Electrical and Computer Engineering Tel: 514-848-2424 ext. 3084, E-mail: ait@ece.concordia.ca |
Theorem Proving, Computer Architecture, Hardware Formal Verification, Model Checking |
1
Start a new search
