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