Please use this identifier to cite or link to this item:
https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242| 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 PHẠM, THỊ THÁI NINH |
| Keywords: | Mô hình phần mềm, cách tiếp cận động, tiếp cận tĩnh, logic thời gian, logic thời gian tuyến tính, ôtômat Buchi. |
| Issue Date: | 2006 |
| Publisher: | ĐẠI HỌC BÁCH KHOA HÀ NỘI. |
| Abstract: | TỔNG QUAN VỀ KIỂM TRA MÔ HÌNH PHẦN MỀM, CÁC KỸ THUẬT KIỂM TRA MÔ HÌNH PHẦN MỀM, KỸ THUẬT KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT LOGIC THỜI GIAN TUYẾN TÍNH VÀ ÔTÔMAT BUCHI, XÂY DỰNG HỆ THỐNG ĐỂ KIỂM TRA MÔ HÌNH PHẦN MỀM. |
| URI: | https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242 |
| Appears in Collections: | LV Công nghệ thông tin |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 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.pdf | 759.32 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Admin Tools