English
español
Navegación por Palabras clave Formal verification
Mostrando resultados 2 a 2 de 2
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 20-abr-2021 | Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems | Perez, Jon; Flores, Jose Luis; Blum, Christian CSIC ORCID ; Cerquides, Jesús CSIC ORCID ; Abuin, Alex | artículo |