Thách thức trong hệ thống thời gian thực

Luận văn thjac sĩ đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

Chuyên khảo phân tích Luận văn thjac sĩ đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal, đánh giá các khía cạnh quan trọng, đề xuất hướng nghiên cứu tiếp theo.