Login | Register

Items where Author is "Hoque, Khaza Anuarul"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group 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.

This list was generated on Sun Dec 11 03:55:25 2016 EST.
Back to top Back to top