Contribuição ao uso da lógica temporal na especificação de comportamento de sistemas a eventos discretos.
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_cc5cd3bf-3f2b-456a-adf3-e0c56015dc79
- ELECTRICAL ENGINEERING Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 1997-01-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) Organização