Showing 1 - 2 results of 2 for search 'Letier, Emmanuel', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Fluent temporal logic for discrete-time event-based models. द्वारा Letier, Emmanuel

    में प्रकाशित Software engineering notes.
    लेख

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

    Reasoning about partial goal satisfaction for requirements and design engineering. द्वारा Letier, Emmanuel

    में प्रकाशित Software engineering notes.
    लेख

    Reasoning about partial goal satisfaction for requirements and design engineering.

खोज साधन: