[Hoq16]
Khaza Anuarul Hoque.
Early Dependability Analysis of FPGA-Based Space Applications Using Formal Verification.
Ph.D. thesis, Concordia University.
2016.
[Studies the dependability of Field Programmable Gate Arrays (FPGAs) in an aerospace setting using PRISM.]
|
