Please use this identifier to cite or link to this item:
http://tailieuso.udn.vn/handle/TTHL_125/10230| 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 |
| Other Titles: | Creating test data generation tool for Lustre/SCADE programs using model checking |
| 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 Sinh ca kiểm thử |
| Issue Date: | 2015 |
| Publisher: | Đại học Đà Nẵng |
| Description: | Tạp chí Khoa học và Công nghệ Đại học Đà Nẵng, Số 09(94). 2015; Trang 84 - 89. |
| URI: | http://tailieuso.udn.vn/handle/TTHL_125/10230 |
| ISSN: | 1859-1531 |
| Appears in Collections: | 2015 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| XayDungCongCuSinhDuLieuThu.TT.pdf | Tóm tắt | 90.08 kB | Adobe PDF | View/Open |
| XayDungCongCuSinhDuLieuThu.TV.pdf | Nội dung | 691.32 kB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.