Mô hình hóa UPPaal
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à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ề .
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
1
0