Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242| Nhan đề: | 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. |
| Tác giả: | TS. HUỲNH, QUYẾT THẮNG PHẠM, THỊ THÁI NINH |
| Từ khoá: | 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. |
| Năm xuất bản: | 2006 |
| Nhà xuất bản: | ĐẠI HỌC BÁCH KHOA HÀ NỘI. |
| Tóm tắt: | 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. |
| Định danh: | https://thuvienso.dau.edu.vn:88/handle/DHKTDN/2242 |
| Bộ sưu tập: | LV Công nghệ thông tin |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| 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 |  Xem/Tải về |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.
Công cụ quản trị