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:
http://data.udn.vn/handle/DHDN/4955| Title: | XÂY DỰNG CÔNG CỤ SINH DỮ LIỆU THỬ CHO CHƯƠNG TRÌNH LUSTRE/SCADE DỰA TRÊN KIỂM CHỨNG MÔ HÌNH |
| Authors: | Trịnh, Công Duy Nguyễn, Thanh Bình |
| Keywords: | Hệ thống phản ứng Kiểm chứng mô hình Kiểm thử Thuộc tính bẫy Lustre/SCADE |
| Issue Date: | 2015 |
| Publisher: | Đại học Đà Nẵng |
| URI: | http://data.udn.vn/handle/DHDN/4955 |
| Bộ sưu tập: | Test 5 chấm 1 |
Các tập tin trong tài liệu này:
Không có tập tin nào liên quan với tài liệu này.
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.