Checking parallel real-time systems for temporal duration properties by linear programming = Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính /

Đã lưu trong:
Bibliografiske detaljer
Hovedforfatter: Pham Hong Thai.
Format: Bài viết
Sprog:Vietnamese
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt