Métodos formais algébricos para geração de invariantes

Métodos formais algébricos para geração de invariantes

Orientador: Arnaldo Vieira Moura === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação === Made available in DSpace on 2018-08-19T00:11:05Z (GMT). No. of bitstreams: 1 Rebiha_Rachid_D.pdf: 1451665 bytes, checksum: abe6fc4e72cf43113c7c93064ab11ed8 (MD5) Previous issue da...

Full description

Bibliographic Details
Main Author: Rebiha, Rachid, 1977-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2011
Subjects:
Métodos formais (Computação)
Sistemas híbridos
Computadores - Medidas de segurança
Virus de computador
Crime por computador
Formal methods (Computer science)
Hybrid systems
Computer security
Computer viruses
Computer crimes
Online Access:REBIHA, Rachid. Métodos formais algébricos para geração de invariantes. 2011. 192 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275741>. Acesso em: 18 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275741

Internet

REBIHA, Rachid. Métodos formais algébricos para geração de invariantes. 2011. 192 p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275741>. Acesso em: 18 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/275741

Similar Items