Logica modal aplicada a verificação de sistemas a eventos discretos

Logica modal aplicada a verificação de sistemas a eventos discretos

Orientador: Rafael Santos Mendes === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-08-03T20:57:03Z (GMT). No. of bitstreams: 1 Pessanha_ChristianoPereira_M.pdf: 4407160 bytes, checksum: 0d35dfe9b59f63...

Full description

Bibliographic Details
Main Author: Pessanha, Christiano Pereira
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2004
Subjects:
Teoria dos sistemas dinâmicos
Lógica matemática não-clássica
Demonstração automática de teoremas
Online Access:PESSANHA, Christiano Pereira. Logica modal aplicada a verificação de sistemas a eventos discretos. 2004. 149 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260168>. Acesso em: 3 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260168

Internet

PESSANHA, Christiano Pereira. Logica modal aplicada a verificação de sistemas a eventos discretos. 2004. 149 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/260168>. Acesso em: 3 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260168

Similar Items