Especificação do micronúcleo FreeRTOS utilizando o método B
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...
Na minha lista:
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: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/18021 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Especificação do micronúcleo FreeRTOS utilizando o método B /
por: Galvão, Stephenson de Sousa Lima., et al.
Publicado em: (2022) -
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
por: Santos, Simone de Oliveira
Publicado em: (2014) -
The B-book : assigning programs to meanings /
por: Abrial, Jean-Raymond.
Publicado em: (2022) -
A Scale-Free Network of EvokedWords
por: Araujo, Aurigena Antunes de, et al.
Publicado em: (2018) -
BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B
por: Gomes, Bruno Emerson Gurgel
Publicado em: (2014)