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:
Main Author: | |
---|---|
Other Authors: | |
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 |