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/4664| Nhan đề: | 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 |
| Tác giả: | Trịnh, Công Duy Nguyễn, Thanh Bình |
| Từ khoá: | Hệ thống phản ứng Kiểm chứng mô hình Kiểm thử Thuộc tính bẫy Lustre/SCADE |
| Năm xuất bản: | 2015 |
| Nhà xuất bản: | Đại học Đà Nẵng |
| Định danh: | http://data.udn.vn/handle/DHDN/4664 |
| Bộ sưu tập: | Năm 2015 |
Các tập tin trong tài liệu này:
| Tập tin | Kích thước | Định dạng | |
|---|---|---|---|
| 9418.pdf | 93.57 kB | Adobe PDF | Xem trực tuyến |
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.