Please use this identifier to cite or link to this item:
http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834| Title: | Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính |
| Authors: | TS. Huỳnh Quyết, Thắng Phan Thị Thái, Ninh |
| Keywords: | Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic |
| Issue Date: | 2006 |
| Publisher: | Đại học Bách khoa Hà Nội |
| URI: | http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834 |
| 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.
