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

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

Bewaard in:
Bibliografische gegevens
Taal:vie
Online toegang:https://dlib.udn.vn/module/chi-tiet-sach?RecordID=9106
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
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

Gelijkaardige items