Kiểm định đặc tả Alloy sử dụng chứng minh định lý logic vị từ bậc 1.

Thông tin tài liệu

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Trần Đức Khánh	-
dc.contributor.author	Lê Thị Cẩm Liên	-
dc.date.accessioned	2016-05-13T07:37:23Z	-
dc.date.available	2016-05-13T07:37:23Z	-
dc.date.issued	2014	-
dc.identifier.other	'000000273326	-
dc.identifier.uri	http://dlib.hust.edu.vn/handle/HUST/3813	-
dc.description	Luận văn thạc sỹ - Chuyên ngành Công nghệ thông tin	-
dc.description.abstract	Giới thiệu hệ thống quản lý truy cập tệp windows. Ngôn ngữ mô hình hóa. Mô hình hóa hệ thống bằng ngôn ngữ alloy.	-
dc.language.iso	vi	-
dc.publisher	Trường Đại học Bách Khoa Hà Nội	-
dc.subject	Bảo mật thông tin	-
dc.subject	Ngôn ngữ	-
dc.subject.lcc	QA76	-
dc.title	Kiểm định đặc tả Alloy sử dụng chứng minh định lý logic vị từ bậc 1.	-
dc.type	Thesis	-
Appears in Collections:	Ths-Công nghệ thông tin

Files in This Item:

000000273326-tt.pdf
Restricted Access

000000273326.pdf
Restricted Access