Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em...

Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em...
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais Escola Politécnica / Engenharia de Controle e Automação Mecânica Universidade de São Paulo "O desenvolvimento de arquiteturas de controle para veículos submarinos é uma tarefa complexa. [...] Neste contexto, o modelo comportamental pode levar a fenômenos como deadlocks, livelocks, disputa por recursos, entre outros. A fim de se tentar minimizar os efeitos de tais...
Esta é apenas uma pré-visualização em PDF das primeiras páginas do Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em.... 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/Checagem-de-arquiteturas-de-controle-de-veiculos-submarinos-uma-abordagem-baseada-em/pdf">aqui</a>.