Verificação formal de sistemas discretos distribuídos

Verificação formal de sistemas discretos distribuídos
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 complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite determinar a validade de propriedades quantitativas, além das qualitativas. [...] A demonstração da manutenção de propriedades como...
Esta é apenas uma pré-visualização em PDF das primeiras páginas do Verificação formal de sistemas discretos distribuídos. Baixe a versão completa para ler o livro completo.
Nota: Você deve ter o Adobe Reader ou o Acrobat Installed para ver esta visualização
Você não tem o Adobe Reader instalado. Para ver esse arquivo, baixe Adobe Reader em <a href="http://get.adobe.com/reader/" target="_blank">aquí</a>. Ou, se quiser baixar o PDF para seu computador, clique <a href="https://portugues.free-ebooks.net/ebook/Verificacao-formal-de-sistemas-discretos-distribuidos/pdf">aqui</a>.