Ứng dụng của Uppaal trong kiểm chứng
Khám phá tài liệu liên quan đến Ứng dụng của Uppaal trong kiểm chứng. Tìm hiểu và nâng cao kiến thức của bạn ngay hôm nay!
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
4
0