Đang hiển thị 1 - 2 kết quả của 2 cho tìm kiếm 'Letier, Emmanuel', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Fluent temporal logic for discrete-time event-based models. Bằng Letier, Emmanuel

    Xuất bản năm Software engineering notes.
    Bài viết

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

    Reasoning about partial goal satisfaction for requirements and design engineering. Bằng Letier, Emmanuel

    Xuất bản năm Software engineering notes.
    Bài viết

    Reasoning about partial goal satisfaction for requirements and design engineering.

Công cụ tìm kiếm: