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.identifier.other	1674	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/18289
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.format.extent	41 tr.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	vi	en_US
dc.publisher	Đại học Dân lập Hải Phòng	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
dc.size	912 KB	en_US
dc.department	Khoa Công nghệ thông tin	en_US
dc.description.degree	Đồ án	en_US