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.