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

• Main Author: Nguyễn, Văn Trãi
• Other Authors: Nguyễn, Trường Thắng
• Format: Theses and Dissertations
• Language: Vietnamese
• Published: Đại học Công nghệ 2017
• Subjects: 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
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/41518
• Institution: Vietnam National University, Hanoi