Login | Register

Items where Author is "Hoque, Khaza Anuarul"

Group by: Item Type | No Grouping
Number of items: 2.

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.

This list was generated on Thu Mar 28 03:19:39 2024 EDT.
Back to top Back to top