Tìm hiểu bộ kiểm chứng mô hình Spin

Please use this identifier to cite or link to this item: https://lib.hpu.edu.vn/handle/123456789/18289

Full metadata record

DC Field	Value	Language
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
Appears in Collections:	Đồ án tốt nghiệp CNTT

Files in This Item:

File	Description	Size	Format
33_VuDucHau_CT1201.pdf		1.49 MB	Adobe PDF	View/Open

DSpace JSPUI