Please use this identifier to cite or link to this item:
http://thuvienso.dut.udn.vn/handle/DUT/12885| 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 | Authors: | Nguyễn, Văn Định | Advisor: | TS. Nguyễn, Thanh Bình | Keywords: | Lustre/Scade;Kiểm chứng mô hình | Issue Date: | 2013 | Publisher: | Trường Đại học Bách khoa, Đại học Đà Nẵng | 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 |
Description: | Chuyên ngành: Khoa học máy tính Mã số: 60.48.01 005.133 NG-Đ |
URI: | http://thuvienso.dut.udn.vn/handle/DUT/12885 |
| Appears in Collections: | Khoa Công nghệ Thông tin - LV Ngành Khoa học Máy tính (Computer Science) |
Show full item record
CORE Recommender
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.