Mostra 1 - 2 risultati di 2 ricerca 'Letier, Emmanuel', tempo di risposta: 0,01s Raffina i risultati
  1. 1

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

    Articolo

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

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

    Articolo

    Reasoning about partial goal satisfaction for requirements and design engineering.

Strumenti per la ricerca: