Tóm tắt Luận án Tiến sĩ ngành Công nghệ thông tin: Mô hình hóa và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranh
Luận án trình bày nội dung tóm tắt các nghiên cứu nền tảng cho các nghiên cứu tiếp theo của luận án, đưa ra lý thuyết vết thời gian dựa trên vết Mazurkiewicz, trình bày một ứng dụng của lý thuyết vết trong việc mô hình hóa hệ thống tương tranh thời gian thực dựa trên việc sử dụng vết thời gian cho đặc tả các thể thức giao diện thành phần được mở rộng từ lý thuyết rCOS,... Để biết rõ hơn về nội dung chi tiết, mời các bạn cùng tham khảo.
