Verificação formal de sistemas modelados em estados finitos.
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
orientado por
produzido em
- https://brcris.ibict.br/individual/cour_3793b665-68b8-4e8f-8e8e-aff3cb636480
- https://brcris.ibict.br/individual/gprog_8c94db50-4b19-4bd4-a284-ebcc7efad1ca Programa de Pós-Graduação
- GRADUATION IN ELECTRICAL ENGINEERING Programa de Pós-Graduação
tipo
- master thesis
autores
data de publicação
- 2006-01-01