Analise e sintese de sistemas a eventos discretos via logica modal
Orientador: Rafael Santos Mendes === Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-07-24T03:50:44Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_D.pdf: 6761411 bytes, checksum: ceea1c2dd3d35ba4d2e536d090e0...
Main Author: | Magossi, José Carlos, 1963- |
---|---|
Other Authors: | UNIVERSIDADE ESTADUAL DE CAMPINAS |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
1998
|
Subjects: | |
Online Access: | MAGOSSI, José Carlos. Analise e sintese de sistemas a eventos discretos via logica modal. 1998. 131f. Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/261070>. Acesso em: 24 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261070 |
Similar Items
-
Logica modal aplicada a verificação de sistemas a eventos discretos
by: Pessanha, Christiano Pereira
Published: (2004) -
Valorações para alguns sistemas de logica do tempo
by: Mortari, Cezar Augusto
Published: (1982) -
Sobre o metodo dos tableaux em logicas polivalentes finitarias
by: Carnielli, Walter Alexandre, 1952-
Published: (1982) -
Para uma teoria de traduções entre logicas cumulativas
by: Scheer, Mauro Cesar
Published: (2002) -
APONTAMENTOS EM FILOSOFIA DA LÓGICA
by: Gilson Maicá de Oliveira
Published: (2019-01-01)