Sökresultat - "Temporal logic."

  • Visas 1 - 5 av 5 resultat
Förfina resultatet
  1. 1

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

    Artikel


    Omslagsbild
  2. 2

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

    I publikationen Software engineering notes.
    Artikel


    Omslagsbild
  3. 3

    Probabilistic temporal databases, I algebra. av Dekhtyar, Alex

    Artikel


    Omslagsbild
  4. 4

    A specification language for coordinated objects. av Ciobanu, Gabriel

    I publikationen Software engineering notes.
    Artikel


    Omslagsbild
  5. 5

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

    I publikationen Software engineering notes.
    Artikel


    Omslagsbild

Sökverktyg: