Verificação formal de sistemas discretos distribuídos
Downloads:
17
Páginas:
186
Publicado:
Jun 2014
Escola Politécnica / Engenharia de Controle e Automação Mecânica
Universidade de São Paulo
"O presente trabalho trata da verificação e design de sistemas ...
Formatos: PDF