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

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. Bằng Mateescu, Radu

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

    π-AAL an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.

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