Formal Verification of Fault-Tolerant Hardware Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luis Entrena, Antonio J. Sanchez-Clemente, Luis Ángel García-Astudillo, Marta Portela-García, Mario García-Valderas, Almudena Lindoso, Roberto Sarmiento. Formal Verification of Fault-Tolerant Hardware Designs. IEEE Access, 11:116127-116140, 2023. [doi]

This author has not been identified. Look up 'Luis Entrena' in GoogleThis author has not been identified. Look up 'Antonio J. Sanchez-Clemente' in GoogleThis author has not been identified. Look up 'Luis Ángel García-Astudillo' in GoogleThis author has not been identified. Look up 'Marta Portela-García' in GoogleThis author has not been identified. Look up 'Mario García-Valderas' in GoogleThis author has not been identified. Look up 'Almudena Lindoso' in GoogleThis author has not been identified. Look up 'Roberto Sarmiento' in Google

runs on WebDSL