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

  • El viaje de Ossei
    El viaje de Ossei Acción, Aventura por Manuel de Juan
    El viaje de Ossei
    El viaje de Ossei

    Downloads:
    1

    Páginas:
    454

    Publicado:
    Nov 2013

    El viaje de Ossei es una historia de coraje, de aventura, de denuncia y de descubrimiento. Es la historia se Ossei, un joven procedente de algún recóndito rin...

    Formatos: PDF, Epub, Kindle, TXT

  • Hitler en Centroamérica
    Hitler en Centroamérica Novela Historica por Jacobo Schifter
    Hitler en Centroamérica
    Hitler en Centroamérica

    Downloads:
    3

    Páginas:
    275

    Publicado:
    Nov 2013

    La afamada novela histórica sobre la huida hacia Costa Rica y el establecimiento de la comunidad judía en forma de un thriller que descubre secretos de guerra...

    Formatos: PDF, Epub, Kindle, TXT

  • BUSCANDO SER HUMANO PARTE II
    BUSCANDO SER HUMANO PARTE II Nueva Era por RICARDO LEÓN ESPITIA
    BUSCANDO SER HUMANO PARTE II
    BUSCANDO SER HUMANO PARTE II

    Downloads:
    1

    Páginas:
    204

    Publicado:
    Apr 2014

    En la segunda parte del libro BUSCANDO SER HUMANO, el autor nos lleva nuevamente a un viaje reflexivo mediante la utilización del personaje novelado de, El An...

    Formatos: PDF, Epub, Kindle, TXT