Výsledky vyhledávání - "Temporal logic."

  • Zobrazuji výsledky 1 - 5 z 5
Upřesnit hledání
  1. 1

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

    Článek


    Obálka
  2. 2

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

    Článek


    Obálka
  3. 3

    Probabilistic temporal databases, I algebra. Autor Dekhtyar, Alex

    Článek


    Obálka
  4. 4

    A specification language for coordinated objects. Autor Ciobanu, Gabriel

    Článek


    Obálka
  5. 5

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

    Článek


    Obálka

Vyhledávací nástroje: