Phạm Thị Tố Nga
Tác giả cùng trường
Luận văn thạc sĩ VNU UET phân tích và kiểm chứng hệ thống thời gian thực bằng Uppaal, cung cấp cái nhìn sâu sắc về công nghệ máy tính.
Danh mục:
63
3
0
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
Tài liệu nghiên cứu Luận văn đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal, tổng hợp lý thuyết và thực hành, cung cấp kiến thức chuyên sâu về .
Danh mục:
88
3
0
Chuyên khảo kỹ thuật phân tích Một số giải pháp hoàn thiện hoạt động đào tạo từ xa ủa học viện công nghệ bưu chính viễn thông, đánh giá các khía cạnh quan trọng, đề xuất hướng
Danh mục:
118
3
0
Luận văn thạc sĩ trình bày phương pháp đặc tả và kiểm chứng hệ thống thời gian thực bằng công cụ Uppaal, phục vụ nghiên cứu trong lĩnh vực máy tính.
Danh mục:
63
2
0