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/4664

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	2016-05-20T01:15:52Z	-
dc.date.available	2016-05-20T01:15:52Z	-
dc.date.issued	2015	-
dc.identifier.uri	http://data.udn.vn/handle/DHDN/4664	-
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:	Năm 2015

Files in This Item:

File	Size	Format
9418.pdf	93.57 kB	Adobe PDF	View/Open