Please use this identifier to cite or link to this item:
http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817| Title: | Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính |
| Authors: | TS. Huỳnh Quyết, Thắng Phạm Thị Thái, Ninh |
| Keywords: | Công nghệ Thông tin |
| Issue Date: | 2006 |
| Publisher: | Đại học Bách khoa Hà Nội |
| URI: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32817 |
| Appears in Collections: | LV_Kỹ thuật |
Files in This Item:
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
