Prikaz rezultata 1 – 2 od 2 za pretragu 'Letier, Emmanuel', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

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

    Članak

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

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

    Članak

    Reasoning about partial goal satisfaction for requirements and design engineering.

Alati za pretragu: