Tìm hiểu bộ kiểm chứng mô hình Spin
| dc.contributor.author | Vũ, Đức Hậu | en_US |
| dc.date.accessioned | 2014-04-18T09:05:19Z | |
| dc.date.available | 2014-04-18T09:05:19Z | |
| dc.date.issued | 2012 | en_US |
| dc.department | Khoa Công nghệ thông tin | en_US |
| dc.description.abstract | Nội dung của khóa luận: Khóa luận tìm hiểu về bộ kiểm chứng mô hình SPIN,các mô hình hệ thống viết bằng ngôn ngữ promela mà SPIN có thể hiểu được và các kiểm chứng mô hình bằng SPIN. | en_US |
| dc.description.degree | Đồ án | en_US |
| dc.format.extent | 41 tr. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.identifier.other | 1674 | en_US |
| dc.identifier.uri | https://lib.hpu.edu.vn/handle/123456789/18289 | |
| dc.language.iso | vi | en_US |
| dc.publisher | Đại học Dân lập Hải Phòng | en_US |
| dc.size | 912 KB | en_US |
| dc.subject | Công nghệ thông tin | en_US |
| dc.subject | Bộ kiểm chứng | en_US |
| dc.subject | Mô hình Spin | en_US |
| dc.title | Tìm hiểu bộ kiểm chứng mô hình Spin | en_US |
| dc.type | Thesis | en_US |