Please use this identifier to cite or link to this item:
http://data.udn.vn/handle/DHDN/4664| 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/4664 |
| Appears in Collections: | Năm 2015 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.