Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTrịnh, Công Duy-
dc.contributor.authorNguyễn, Thanh Bình-
dc.descriptionTạp chí Khoa học và Công nghệ Đại học Đà Nẵng, Số 09(94). 2015; Trang 84 - 89.en
dc.publisherĐại học Đà Nẵngen
dc.sourceĐại học Đà Nẵngen
dc.subjectHệ thống phản ứngen
dc.subjectKiểm chứng mô hìnhen
dc.subjectKiểm thửen
dc.subjectThuộc tính bẫyen
dc.subjectSinh ca kiểm thửen
dc.titleXâ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ìnhen
dc.title.alternativeCreating test data generation tool for Lustre/SCADE programs using model checkingen
Appears in Collections:2015

Files in This Item:
File Description SizeFormat 
XayDungCongCuSinhDuLieuThu.TT.pdfTóm tắt90.08 kBAdobe PDFView/Open
XayDungCongCuSinhDuLieuThu.TV.pdfNội dung691.32 kBAdobe PDFView/Open    Request a copy

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.