RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Comprobación de modelos"

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 ...
FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA

Montagud Catalá, Miguel Ángel (Universitat Politècnica de València, 2020-04-15)

[ES] Hoy día la Verificación y Validación (V&V) de los software de control está obteniendo un gran significado en los sistemas productivos, por fín se asume que aplicar un estudio profundo en este asunto podría significar ...

Mostrando ítems 1-2 de 2