English
español
Navegación por Palabras clave Formal verification
Mostrando resultados 1 a 2 de 2
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | jul-2011 | Formal Verification of the Security of a Free-Space Quantum Key Distribution System | Fernández Mármol, Verónica CSIC ORCID ; García Martínez, María José; Hernández Encinas, Luis CSIC ORCID ; Martín, Agustín | comunicación de congreso | |
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 |