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

Title:	Tìm hiểu bộ kiểm chứng mô hình Spin
Authors:	Vũ, Đức Hậu
Keywords:	Công nghệ thông tin Bộ kiểm chứng Mô hình Spin
Issue Date:	2012
Publisher:	Đại học Dân lập Hải Phòng
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.
URI:	https://lib.hpu.edu.vn/handle/123456789/18289
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