Résultat(s) 1 - 2 résultats de 2 pour la requête 'Letier, Emmanuel', Temps de recherche: 0,01s Affiner les résultats
  1. 1

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

    Article

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

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

    Article

    Reasoning about partial goal satisfaction for requirements and design engineering.

Outils de recherche: