Listar por Materia Mutación de Propiedades
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2025 | Metodología de verificación, detección de errores y generación de casos de prueba en modelos RT-DEVS con requisitos temporales cuantitativos | González, Ariel |