Dangos 1 - 2 canlyniadau o 2 ar gyfer chwilio 'Letier, Emmanuel', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1

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

    Erthygl

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

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

    Erthygl

    Reasoning about partial goal satisfaction for requirements and design engineering.

Offerynnau Chwilio: