Resultados de búsqueda - "Temporal logic."

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

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

    Artículo


    Imagen de Portada
  2. 2

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

    Artículo


    Imagen de Portada
  3. 3

    Probabilistic temporal databases, I algebra. por Dekhtyar, Alex

    Artículo


    Imagen de Portada
  4. 4

    A specification language for coordinated objects. por Ciobanu, Gabriel

    Artículo


    Imagen de Portada
  5. 5

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

    Artículo


    Imagen de Portada

Herramientas de búsqueda: