Livros de Engenharia Mecânica

Verificação formal de sistemas discretos distribuídos

Downloads: 12         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 útimo sueño
    El útimo sueño Bienestar Espiritual por Narciso Martín Hervas
    El útimo sueño
    El útimo sueño

    Downloads:
    2

    Páginas:
    375

    Publicado:
    Feb 2014

    ¿Perderías todo lo que te importa en la vida para poder cambiar el mundo? Gabriel es un hombre rico que no tendrá la oportunidad de elegir. Tras sufrir la m...

    Formatos: PDF, Kindle, TXT

  • Estrategias de enseñanza virtual univer…
    Estrategias de enseñanza virtual univer… Textos Universitarios por Edgar Salgado García
    Estrategias de enseñanza virtual univer…
    Estrategias de enseñanza virtual univer…

    Downloads:
    2

    Páginas:
    87

    Publicado:
    Dec 2013

    Es un manual didáctico que te enseñará cómo diseñar e impartir cursos a distancia en modalidad virtual, orientado al ámbito universitario.

    Formatos: PDF, Epub, Kindle

  • El suicida
    El suicida Bienestar Espiritual por Joselito Montero
    El suicida
    El suicida

    Downloads:
    1

    Páginas:
    29

    Publicado:
    Feb 2014

    Si eres de las personas que a lo largo de sus vidas todo les ha salido bien, no leas este libro, porque lo más probable es que no puedas entender su contenido...

    Formatos: PDF, TXT

  • El amante de mis sueños
    El amante de mis sueños Estudios Gay por Milagro Gabriel
    El amante de mis sueños
    El amante de mis sueños

    Downloads:
    1

    Páginas:
    133

    Publicado:
    Feb 2014

    Este relato contiene escenas de sexo explicito entre personajes de un mismo sexo. Hombre-Hombre. Si alguien no está de acuerdo con esta temática aconsejo no l...

    Formatos: PDF, Kindle