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/4955Toàn bộ biểu ghi siêu dữ liệu
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Trịnh, Công Duy | |
| dc.contributor.author | Nguyễn, Thanh Bình | |
| dc.date.accessioned | 2022-10-26T03:51:16Z | - |
| dc.date.available | 2022-10-26T03:51:16Z | - |
| dc.date.issued | 2015 | |
| dc.identifier.uri | http://data.udn.vn/handle/DHDN/4955 | - |
| dc.publisher | Đại học Đà Nẵng | |
| dc.subject | Hệ thống phản ứng | |
| dc.subject | Kiểm chứng mô hình | |
| dc.subject | Kiểm thử | |
| dc.subject | Thuộc tính bẫy | |
| dc.subject | Lustre/SCADE | |
| dc.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 | |
| dc.type | Article | |
| 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.