Formal Verification of Fault-Tolerant Hardware Designs
Entrena, Luis, Sanchez-Clemente, Antonio J., Garcia-Astudillo, Luis A., Portela-Garcia, Marta, Garcia-Valderas, Mario, Lindoso, Almudena, Sarmiento, Roberto
Published in IEEE access (01.01.2023)
Published in IEEE access (01.01.2023)
Get full text
Journal Article