Результаты поиска - "Temporal logic."

  • Отображение 1 - 5 результаты of 5
Отмена результатов
  1. 1

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

    Опубликовано в: IEEE Transactions on software engineering
    Статья


    Значок книги
  2. 2

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

    Опубликовано в: Software engineering notes.
    Статья


    Значок книги
  3. 3

    Probabilistic temporal databases, I algebra. по Dekhtyar, Alex

    Опубликовано в: ACM transactions on database systems.
    Статья


    Значок книги
  4. 4

    A specification language for coordinated objects. по Ciobanu, Gabriel

    Опубликовано в: Software engineering notes.
    Статья


    Значок книги
  5. 5

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

    Опубликовано в: Software engineering notes.
    Статья


    Значок книги

Инструменты поиска: