Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Letier, Emmanuel', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

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

    Makale

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

    Reasoning about partial goal satisfaction for requirements and design engineering. Yazar: Letier, Emmanuel

    Makale

    Reasoning about partial goal satisfaction for requirements and design engineering.

Arama Araçları: