Livros de Engenharia Mecânica

Verificação formal de sistemas discretos distribuídos

Downloads: 13         Páginas: 186

Publicado há: 3 años

Qualificação:   Calificado: 1 veces Vote

  • 1 estrella
  • 2 estrellas
  • 3 estrellas
  • 4 estrellas
  • 5 estrellas

Autor:

       Publicidad

Descrição

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 invariantes, vivacidade, limitação assim como da validade de fórmulas lógicas no processo de refinamento constitui um aspecto fundamental no projeto de sistemas complexos, e foi portanto revista em detalhes para a rede GHENeSys. Alguns exemplos práticos são apresentados para avaliar o desempenho dos algoritmos e um estudo de caso finaliza a apresentação, onde se pode contrastar os algoritmos propostos com os implementados na ferramenta UPPAAL." Obrigado por baixar livros de sistemas discretos distribuídos em formato pdf mobipocket epub txt HTML Download de ebook grátis

SOBRE O AUTOR

Pedro Manuel González Del Foyo

Você pode estar interessado...

eBooks à Venda

  • Las tierras de Melampó
    Las tierras de Melampó Novela Historica por a.floridolozano@gmail.com
    Las tierras de Melampó
    Las tierras de Melampó

    Downloads:
    1

    Páginas:
    243

    Publicado:
    May 2014

    La historia de la emigración de una familia del norte de España a América del Sur durante el siglo XVIII, con todas sus vicisitudes, amores y desencuentros.

    Formatos: PDF, Epub, Kindle

  • Hitler in Central America
    Hitler in Central America Novela Historica por Jacobo Schifter
    Hitler in Central America
    Hitler in Central America

    Downloads:
    2

    Páginas:
    283

    Publicado:
    Feb 2014

    BEST SELLER. MORE THAN 100,000 DOWNLOADS "It was so interesting with the facts and fictions, also I liked this satirical and ironic approach. Even more as a ...

    Formatos: PDF, Epub, Kindle, TXT

  • Relatos Cortos de un loco muy cuerdo
    Relatos Cortos de un loco muy cuerdo Novela Filosófica por Mario Canario
    Relatos Cortos de un loco muy cuerdo
    Relatos Cortos de un loco muy cuerdo

    Downloads:
    1

    Páginas:
    92

    Publicado:
    Nov 2013

    ¿Puede haber un loco tan cuerdo como para quedar en suspense al mundo entero? De eso trata mi libro: del sentido de la vida, del porqué estamos aquí. Una mezc...

    Formatos: PDF, Epub, Kindle, TXT

  • Administración de los Inventarios
    Administración de los Inventarios Administración por Daniel Jiménez Cornejo
    Administración de los Inventarios
    Administración de los Inventarios

    Downloads:
    1

    Páginas:
    51

    Publicado:
    Aug 2015

    Una empresa con elevados niveles de inventarios, puede incurrir en falta de liquidez. El mantener inventarios excesivos tiene un costo para la organización: ...

    Formatos: PDF