Erakusten 1 - 2 emaitzak -- 2 bilaketa honetara 'Letier, Emmanuel', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

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

    Argitaratua izan da Software engineering notes.
    Artikulua

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

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

    Argitaratua izan da Software engineering notes.
    Artikulua

    Reasoning about partial goal satisfaction for requirements and design engineering.

Bilaketa egiteko lanabesak: