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

Đã lưu trong:
書目詳細資料
主要作者: Nguyễn Văn Định
語言:vie
出版: Đại học Đà Nẵng 2013
在線閱讀:https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
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=4041
record_format dspace
spelling https:--dlib.udn.vn-module-chi-tiet-sach?RecordID=40412025-04-21T00:00:00ZNguyễn Văn ĐịnhNghiê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Đại học Đà Nẵng2013vieĐại học Bách khoa - Đại học Đà Nẵnghttps://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041
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
author Nguyễn Văn Định
spellingShingle Nguyễn Văn Định
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
author_facet Nguyễn Văn Định
author_sort Nguyễn Văn Định
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
title_short 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_sort 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
publisher Đại học Đà Nẵng
publishDate 2013
url https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041
_version_ 1848658834289065984