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
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Jezik: | vie |
| Izdano: |
Đại học Đà Nẵng
2013
|
| Online dostop: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| 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 |
|---|