Un Enfoque Basado en Modelos para la Integración de Técnicas de Verificación Formal y Simulación en Sistemas Ciberfísicos Deja un comentario / Por Julian / julio 10, 2026