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

Autores		Galvão, Stephenson de Sousa Lima
Orientador		Déharbe, David Boris Paul
Editor		Universidade Federal do Rio Grande do Norte
Data		2011-08-16
Palavras-chave		Especificação FreeRTOS Método B Specification FreeRTOS B method
Citação		GALVÃO, Stephenson de Sousa Lima. Especificação do micronúcleo FreeRTOS utilizando o método B. 2011. 117 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2011.
Resumo
Abstract
URI		https://repositorio.ufrn.br/jspui/handle/123456789/18021

Coleções	PPGSC - Mestrado em Sistemas e Computação

Arquivos

Agora exibindo 1 - 1 de 1