Especificação do micronúcleo FreeRTOS utilizando o método B

Mostrar outras versões (1)

This paper presents a contribution to the international Verified Software Repository effort through the formal specification of the microkernel FreeRTOS real-time system. Such specification was made in abstract level making use of the B method . For thus, properties of the microkernel were chosen an...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Galvão, Stephenson de Sousa Lima
Outros Autores: Déharbe, David Boris Paul
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Especificação
FreeRTOS
Método B
Specification
B method
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/18021
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/18021

Registros relacionados