Zobrazuji výsledky 1 - 2 z 2 pro vyhledávání 'Letier, Emmanuel', doba hledání: 0,01 s. Upřesnit hledání
  1. 1

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

    Článek

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

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

    Článek

    Reasoning about partial goal satisfaction for requirements and design engineering.

Vyhledávací nástroje: