Please use this identifier to cite or link to this item:
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 |
| Appears in Collections: | Test 5 chấm 1 |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.