Items where Author is "Hoque, Khaza Anuarul"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Hoque, Khaza Anuarul (2016) Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification. PhD thesis, Concordia University.
Hoque, Khaza Anuarul (2011) Integrating SAT with MDG for Efficient Invariant Checking. Masters thesis, Concordia University.
