Mô hình hóa hệ thống với Ô-tô-mát thời gian
Luận văn thạc sĩ vnu uet đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal luận văn ths máy tính 604801
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.
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
0
0