Creating test data generation tool for Lustre/SCADE programs using model checking

Creating test data generation tool for Lustre/SCADE programs using model checking

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Iaith:vie
Mynediad Ar-lein:https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Thư viện lưu trữ: Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng
id https:--dlib.udn.vn-module-chi-tiet-sach?RecordID=9106
record_format dspace
spelling https:--dlib.udn.vn-module-chi-tiet-sach?RecordID=91062025-04-21T00:00:00ZCreating test data generation tool for Lustre/SCADE programs using model checkingXâ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ìnhTạp chí Khoa học và Công nghệ Đại học Đà Nẵng, Số 09(94). 2015; Trang 84 - 89.vieĐại học Đà Nẵnghttps://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
institution Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng
collection DSpace
language vie
title Creating test data generation tool for Lustre/SCADE programs using model checking
spellingShingle Creating test data generation tool for Lustre/SCADE programs using model checking
title_short Creating test data generation tool for Lustre/SCADE programs using model checking
title_full Creating test data generation tool for Lustre/SCADE programs using model checking
title_fullStr Creating test data generation tool for Lustre/SCADE programs using model checking
title_full_unstemmed Creating test data generation tool for Lustre/SCADE programs using model checking
title_sort creating test data generation tool for lustre/scade programs using model checking
url https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
_version_ 1848664260842881024

Eitemau Tebyg