Bilaketaren emaitzak - "Temporal logic."

  • Erakusten 1 - 5 emaitzak -- 5
Findu emaitzak
  1. 1

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

    Artikulua


    Azala
  2. 2

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  3. 3

    Probabilistic temporal databases, I algebra. nork Dekhtyar, Alex

    Artikulua


    Azala
  4. 4

    A specification language for coordinated objects. nork Ciobanu, Gabriel

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala
  5. 5

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

    Argitaratua izan da Software engineering notes.
    Artikulua


    Azala

Bilaketa egiteko lanabesak: