Aplicação do método B ao projeto formal de software embarcado

Autores		Medeiros Júnior, Valério Gutemberg de
Orientador		Déharbe, David Boris Paul
Editor		Universidade Federal do Rio Grande do Norte
Data		2009-09-09
Palavras-chave		Engenharia de software Métodos formais Verificação de Assembly Método B Software engineering Formal methods Verified compilation, B method
Citação		MEDEIROS JÚNIOR, Valério Gutemberg de. Aplicação do método B ao projeto formal de software embarcado. 2009. 133 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2009.
Resumo
Abstract
URI		https://repositorio.ufrn.br/jspui/handle/123456789/18679

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

Arquivos

Agora exibindo 1 - 1 de 1