Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE

Please use this identifier to cite or link to this item: http://thuvienso.dut.udn.vn/handle/DUT/12885

DC Field	Value	Language
dc.contributor.advisor	TS. Nguyễn, Thanh Bình	-
dc.contributor.author	Nguyễn, Văn Định	-
dc.date.accessioned	2025-12-22T07:40:25Z	-
dc.date.available	2025-12-22T07:40:25Z	-
dc.date.issued	2013	-
dc.identifier.uri	http://thuvienso.dut.udn.vn/handle/DUT/12885	-
dc.description	Chuyên ngành: Khoa học máy tính	vi
dc.description	Mã số: 60.48.01	vi
dc.description	005.133 NG-Đ	vi
dc.description.abstract	Tổng quan kiểm chứng mô hình; Hệ thống phản ứng và môi trường Lustre/Scade; Ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/Scade	vi
dc.language.iso	vi	vi
dc.publisher	Trường Đại học Bách khoa, Đại học Đà Nẵng	vi
dc.subject	Lustre/Scade	vi
dc.subject	Kiểm chứng mô hình	vi
dc.title	Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE	vi
dc.type	Luận văn thạc sĩ	vi
item.grantfulltext	none	-
item.cerifentitytype	Publications	-
item.openairetype	Luận văn thạc sĩ	-
item.fulltext	Không kèm toàn văn	-
item.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.languageiso639-1	vi	-
Appears in Collections:	Khoa Công nghệ Thông tin - LV Ngành Khoa học Máy tính (Computer Science)

CORE Recommender

Check