Ứng dụng của Uppaal trong kiểm chứng
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.
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.
Danh mục:
63
1
0