3 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos


Relevância:

30.00% 30.00%

Publicador:

Resumo:

[ES]Con el objetivo de crear un entorno de desarrollo que permita la ejecución de aplicaciones de control en sistemas ARM, se utilizarán diferentes métodos y recursos informáticos y poder crear con esto un Toolchain capaz de generar binarios para los sistemas citados anteriormente.