Please use this identifier to cite or link to this item:
http://tailieuso.udn.vn/handle/TTHL_125/10230Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Trịnh, Công Duy | - |
| dc.contributor.author | Nguyễn, Thanh Bình | - |
| dc.date.accessioned | 2020-04-04T16:59:19Z | - |
| dc.date.available | 2020-04-04T16:59:19Z | - |
| dc.date.issued | 2015 | - |
| dc.date.submitted | 2015 | - |
| dc.identifier.issn | 1859-1531 | - |
| dc.identifier.uri | http://tailieuso.udn.vn/handle/TTHL_125/10230 | - |
| dc.description | Tạp chí Khoa học và Công nghệ Đại học Đà Nẵng, Số 09(94). 2015; Trang 84 - 89. | en |
| dc.language.iso | vi | en |
| dc.publisher | Đại học Đà Nẵng | en |
| dc.source | Đại học Đà Nẵng | en |
| dc.subject | Hệ thống phản ứng | en |
| dc.subject | Kiểm chứng mô hình | en |
| dc.subject | Kiểm thử | en |
| dc.subject | Thuộc tính bẫy | en |
| dc.subject | Lustre/SCADE | en |
| dc.subject | Sinh ca kiểm thử | en |
| 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 | en |
| dc.title.alternative | Creating test data generation tool for Lustre/SCADE programs using model checking | en |
| dc.type | Article | en |
| 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.