Formal verification of PLC programs using the B Method

Autores		Barbosa, Haniel Moreira
Orientador		Déharbe, David Boris Paul
Editor		Universidade Federal do Rio Grande do Norte
Data		2012-11-01
Palavras-chave		PLC. IEC 61131-3. Método B. Métodos formais. Sistemas críticos PLC. IEC 61131-3. B method. Formal methods. Safety critical systems
Citação		BARBOSA, Haniel Moreira. Formal verification of PLC programs using the B method. 2012. 177 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2012.
Resumo
Abstract
URI		https://repositorio.ufrn.br/jspui/handle/123456789/18061

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

Arquivos

Agora exibindo 1 - 1 de 1