RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Métodos formales"

Mostrando ítems 1-2 de 2

Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude

Galán Pascual, Daniel (Universitat Politècnica de València, 2021-09-15)

[ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...
Un entorno de modelado online para el model checker SPIN

Juan Achahuanco, Arturo Raúl de (Universitat Politècnica de València, 2022-09-14)

[ES] Las herramientas de verificación de modelos model checking existentes ofrecen ciertas facilidades para el análisis y comprensión del proceso de verificación de sistemas hardware y software. Este es el caso del ...

Mostrando ítems 1-2 de 2