Modelos

Investigadores españoles crean una nueva técnica de verificación de modelos de softwareInvestigadores españoles crean una nueva técnica de verificación de modelos de software

Investigadores españoles crean una nueva técnica de verificación de modelos de software

Su propuesta permite verificar modelos a medida que se van construyendo para una detección temprana de errores.

4 años ago