Login / Signup
Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications.
Khaza Anuarul Hoque
Otmane Aït Mohamed
Yvon Savaria
Published in:
J. Appl. Log. (2017)
Keyphrases
</>
formal analysis
image analysis
search space
agent model
formal methods
data analysis
low dimensional
video analysis