Canlyniadau Chwilio - "Temporal logic."

  • Dangos 1 - 5 canlyniadau o 5
Mireinio'r Canlyniadau
  1. 1

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

    Erthygl


    Delwedd Flaen
  2. 2

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

    Erthygl


    Delwedd Flaen
  3. 3

    Probabilistic temporal databases, I algebra. gan Dekhtyar, Alex

    Erthygl


    Delwedd Flaen
  4. 4

    A specification language for coordinated objects. gan Ciobanu, Gabriel

    Erthygl


    Delwedd Flaen
  5. 5

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

    Erthygl


    Delwedd Flaen

Offerynnau Chwilio: