Hashem
Haghbayan
dosentti, tietotekniikan laitos
erikoistutkija Sr., robotiikka ja autonomiset järjestelmät
PhD
Ota yhteyttä
Julkaisut
Automated Formal Approach for Debugging Dividers Using Dynamic Specification (2014)
IEEE international symposium on defect and fault tolerance in vlsi systems
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))