Minha sacola

    ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA - A TEMPORAL LOGIC APPROACH

    Favoritar
    Ref:
    627729

    De: R$ 3.449,44Por: R$ 2.414,61ou de

    Preço a vista:R$ 2.414,61

    Economia de R$ 1.034,83
    Comprar

    Calcule o frete:

    Para envios internacionais, simule o frete no carrinho de compras.

    Calcule o valor do frete e prazo de entrega para a sua região

    Editora
    ISBN
    Páginas
    Idioma
    Peso
    Acabamento

    Sinopse

    This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. 'Advances in Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach' introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques. The book addresses research scientists as well as graduate and PhD students in computer science, logics, and engineering of real time systems.

    Ficha Técnica

    Especificações

    ISBN9783540328698
    Pré vendaNão
    Peso287g
    Autor para link
    Livro disponível - pronta entregaNão
    Dimensões23 x 16 x 1
    Tipo itemLivro Importado
    Número de páginas257
    Número da edição1ª EDIÇÃO - 2006
    Código Interno627729
    Código de barras9783540328698
    AcabamentoHARDCOVER
    AutorPENCZEK, WOJCIECH | POLROLA, AGATA
    EditoraSPRINGER VERLAG *
    Sob encomendaSim

    Conheça outros títulos da coleção

      Este livro é vendido

      SOB ENCOMENDA

      Prazo estimado para disponibilidade em estoque: dias úteis

      (Sujeito aos estoques de nossos fornecedores)

      +

      Prazo do frete selecionado.

      (Veja o prazo total na sacola de compras)

      Comprar