Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat

• المؤلف الرئيسي: Nguyễn, Văn Trãi
• مؤلفون آخرون: Nguyễn, Trường Thắng
• التنسيق: Theses and Dissertations
• اللغة: Vietnamese
• منشور في: Đại học Công nghệ 2017
• الموضوعات: Kiểm chứng hình thức; Hệ thống tương tranh; Công nghệ phần mềm; Ngôn ngữ đặc tả CSP; Công cụ Pat
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/41518
• المؤسسة: Vietnam National University, Hanoi