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

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

Spremljeno u:
Bibliografski detalji
Glavni autor: Nguyễn Văn Định
Jezik:vie
Izdano: Đại học Đà Nẵng 2013
Online pristup:https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
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

Similar Items