Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ferreiro de Aguiar, Daniela"'
Autor:
Ferreiro de Aguiar, Daniela
Uno de los grandes retos para los métodos formales es resolver el problema de fiabilidad del software. El concepto de métodos formales hace referencia a técnicas y herramientas basadas en procedimientos matemáticos que se utilizan para especifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1033::30af5235b44ad4ebb39c43809e3cebb7
https://oa.upm.es/72472/
https://oa.upm.es/72472/
