ListarLCC - Trabajos fin de grado por tema "Verificación de modelos"
Mostrando ítems 1-1 de 1
-
Modelado, simulación y análisis de un sistema complejo de ascensores
(2020-01-20)La construcción de software complejo puede verse asistida por los llamados métodos formales que permiten detectar errores de diseño e implementación, especialmente con respecto a las propiedades críticas del sistema. Los ...