検索結果 1 - 2 結果 / 2 検索語 'Letier, Emmanuel', 処理時間: 0.01秒 結果の絞り込み
  1. 1

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

    論文

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

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

    論文

    Reasoning about partial goal satisfaction for requirements and design engineering.

検索ツール: