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| Nhan đề: | 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 | Tác giả: | Nguyễn, Văn Định | Người hướng dẫn: | TS. Nguyễn, Thanh Bình | Từ khoá: | Lustre/Scade;Kiểm chứng mô hình | Năm xuất bản: | 2013 | Nhà xuất bản: | Trường Đại học Bách khoa, Đại học Đà Nẵng | Tóm tắt: | 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 |
Mô tả: | Chuyên ngành: Khoa học máy tính Mã số: 60.48.01 005.133 NG-Đ |
Định danh: | http://thuvienso.dut.udn.vn/handle/DUT/12885 |
| Bộ sưu tập: | Khoa Công nghệ Thông tin - LV Ngành Khoa học Máy tính (Computer Science) |
Hiển thị đầy đủ biểu ghi tài liệu
Các đề xuất từ CORE
Google Scholar TM
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.