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

Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này: http://thuvienso.dut.udn.vn/handle/DUT/12885

Trường DC	Giá trị	Ngôn ngữ
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.openairecristype	http://purl.org/coar/resource_type/c_18cf	-
item.fulltext	Không kèm toàn văn	-
item.openairetype	Luận văn thạc sĩ	-
item.cerifentitytype	Publications	-
item.languageiso639-1	vi	-
item.grantfulltext	none	-
Bộ sưu tập:	Khoa Công nghệ Thông tin - LV Ngành Khoa học Máy tính (Computer Science)

Các đề xuất từ CORE

Kiểm tra...

Khi sử dụng các tài liệu trong Hệ thống quản lý thông tin nghiên cứu phải tuân thủ Luật bản quyền.