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

Mostrar outras versões (1)

Resumo:Este trabalho apresenta uma contribuição para o esforço internacional do Verified Software Repository através da especificação formal da biblioteca de sistema de tempo real FreeRTOS. Tal especificação foi realizada de forma abstrata utilizando o método B. Para isso, propriedades disponibiliza...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Principais autores: Galvão, Stephenson de Sousa Lima., Déharbe, David Boris Paul., Universidade Federal do Rio Grande Norte.
Formato: Dissertação
Publicado em:
Assuntos:
Sistemas de computação -
Dissertação.
Especificação FreeRTOS -
Verified software repository -
Sistemas de tempo real FreeRTOS -
Método B -
Specification FreeRTOS.
Verified software repository.
Real-time systems FreeRTOS.
B method.
Endereço do item:https://repositorio.ufrn.br/jspui/bitstream/123456789/18021/1/StephennsonSLG_DISSERT.pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/bitstream/123456789/18021/1/StephennsonSLG_DISSERT.pdf

Registros relacionados