Thông tin tài liệu
| Title: | Kiểm định đặc tả Alloy sử dụng chứng minh định lý logic vị từ bậc 1. |
| Authors: | Lê Thị Cẩm Liên |
| Advisor: | Trần Đức Khánh |
| Keywords: | Bảo mật thông tin; Ngôn ngữ |
| Issue Date: | 2014 |
| Publisher: | Trường Đại học Bách Khoa Hà Nội |
| 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. |
| Description: | Luận văn thạc sỹ - Chuyên ngành Công nghệ thông tin |
| URI: | http://dlib.hust.edu.vn/handle/HUST/3813 |
| Appears in Collections: | Ths-Công nghệ thông tin |
ABSTRACTS VIEWS
57
VIEWS & DOWNLOAD
118
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.