Resultados da busca - "Temporal logic."

  • Mostrando 1 - 5 resultados de 5
Refinar Resultados
  1. 1

    A logical theory of interfaces and objects. por Alencar, P.S.C

    Artigo


    Imagem da capa
  2. 2

    Fluent temporal logic for discrete-time event-based models. por Letier, Emmanuel

    Artigo


    Imagem da capa
  3. 3

    Probabilistic temporal databases, I algebra. por Dekhtyar, Alex

    Artigo


    Imagem da capa
  4. 4

    A specification language for coordinated objects. por Ciobanu, Gabriel

    Artigo


    Imagem da capa
  5. 5

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. por Dingel, Juergen

    Artigo


    Imagem da capa

Ferramentas de busca: