Behavioural Preservation in Fault Tolerant Patterns

Behavioural Preservation in Fault Tolerant Patterns

Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T18:21:26Z No. of bitstreams: 2 Dissertacao.pdf: 3554160 bytes, checksum: c0e2e7174583a750223705de5cd01844 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) === Made available in DSpace on 2...

Full description

Bibliographic Details
Main Author: DIAS, Diego Machado
Other Authors: IYODA, Juliano Manabu
Language:English
Published: Universidade Federal de Pernambuco 2015
Subjects:
Fault tolerant patterns
HOL4
behavioural preservation
refinement
Online Access:https://repositorio.ufpe.br/handle/123456789/10473

Internet

https://repositorio.ufpe.br/handle/123456789/10473

Similar Items