Hassan Hatefi-Ardakani

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Saarland University, Germany (PHD)

Education History

Saarland University, Germany

PHD

Publications

Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi
Timing verification of distributed network systems at higher levels of abstraction. HLDVT (2008)
Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi
System-Level Assertion-Based Performance Verification for Embedded Systems. CSICC (2008)