Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B

Saved in:
Bibliographic Details
Main Author: Nguyễn, Xuân Trường
Other Authors: Trương, Ninh Thuận
Language:Vietnamese
Published: Đại học Công nghệ 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/41540
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: Vietnamese
id oai:112.137.131.14:VNU_123-41540
record_format dspace
spelling oai:112.137.131.14:VNU_123-415402018-08-01T07:14:45Z Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B Nguyễn, Xuân Trường Trương, Ninh Thuận Giao diện phần mềm Kiểm chứng Giao diện người dùng Mô hình hóa Event - B 2017-05-17T07:59:44Z 2017-05-17T07:59:44Z 2016 Nguyễn, X. T. (2016). Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam 00050007364 http://repository.vnu.edu.vn/handle/VNU_123/41540 vi Luận văn Ngành Hệ thống Thông tin (Full) 62 p. application/pdf Đại học Công nghệ
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language Vietnamese
topic Giao diện phần mềm
Kiểm chứng
Giao diện người dùng
Mô hình hóa Event - B
spellingShingle Giao diện phần mềm
Kiểm chứng
Giao diện người dùng
Mô hình hóa Event - B
Nguyễn, Xuân Trường
Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
author2 Trương, Ninh Thuận
author_facet Trương, Ninh Thuận
Nguyễn, Xuân Trường
author Nguyễn, Xuân Trường
author_sort Nguyễn, Xuân Trường
title Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
title_short Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
title_full Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
title_fullStr Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
title_full_unstemmed Kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa Event - B
title_sort kiểm chứng giao diện phần mềm bằng phương pháp mô hình hóa event - b
publisher Đại học Công nghệ
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/41540
_version_ 1680964038849200128