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

Please use this identifier to cite or link to this item: http://data.udn.vn/handle/DHDN/4955

Full 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	2022-10-26T03:51:16Z	-
dc.date.available	2022-10-26T03:51:16Z	-
dc.date.issued	2015
dc.identifier.uri	http://data.udn.vn/handle/DHDN/4955	-
dc.publisher	Đại học Đà Nẵng
dc.subject	Hệ thống phản ứng
dc.subject	Kiểm chứng mô hình
dc.subject	Kiểm thử
dc.subject	Thuộc tính bẫy
dc.subject	Lustre/SCADE
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
dc.type	Article
Appears in Collections:	Test 5 chấm 1

Files in This Item:

There are no files associated with this item.