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:
| 主要作者: | |
|---|---|
| 语言: | 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 |