A mostrar 1 - 2 resultados de 2 para a pesquisa 'Letier, Emmanuel', tempo de pesquisa: 0.01seg Refinar resultados
  1. 1

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

    Artigo

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

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

    Artigo

    Reasoning about partial goal satisfaction for requirements and design engineering.

Ferramentas de pesquisa: