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:
書目詳細資料
主要作者: Nguyễn, Xuân Trường
其他作者: Trương, Ninh Thuận
語言:Vietnamese
出版: Đại học Công nghệ 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/41540
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!