يعرض 1 - 5 نتائج من 5 نتيجة بحث عن '"Temporal logic."', وقت الاستعلام: 0.02s تنقيح النتائج
  1. 1

    A specification language for coordinated objects. حسب Ciobanu, Gabriel

    الحاوية / القاعدة Software engineering notes.
    مقال

    A specification language for coordinated objects.
  2. 2

    Fluent temporal logic for discrete-time event-based models. حسب Letier, Emmanuel

    الحاوية / القاعدة Software engineering notes.
    مقال

    Fluent temporal logic for discrete-time event-based models.
  3. 3

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. حسب Dingel, Juergen

    الحاوية / القاعدة Software engineering notes.
    مقال

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  4. 4

    Probabilistic temporal databases, I algebra. حسب Dekhtyar, Alex

    الحاوية / القاعدة ACM transactions on database systems.
    مقال

    Probabilistic temporal databases, I algebra.
  5. 5

    A logical theory of interfaces and objects. حسب Alencar, P.S.C

    الحاوية / القاعدة IEEE Transactions on software engineering
    مقال

    A logical theory of interfaces and objects.

أدوات البحث: