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
Gardado en:
| Autor Principal: | Nguyễn Văn Định |
|---|---|
| Idioma: | vie |
| Publicado: |
Đại học Đà Nẵng
2013
|
| Acceso en liña: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=4041 |
| Các nhãn: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| 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 |
|---|
Títulos similares
-
Automatic Regression Testing for Lustre/SCADE Applications
por: Trinh Cong Duy - Creating test data generation tool for Lustre/SCADE programs using model checking
- Kiểm chứng mô hình FAMA trên HOSE
-
Kiểm chứng mô hình gây tiêu chảy trên chuột nhắt trắng
por: Nguyễn, Trương Minh Thế, et al.
Publicado: (2024) -
Kiểm định mối quan hệ giữa phát triển tài chính và giảm nghèo bằng mô hình FMOLS
por: Phạm, Bích Hồng
Publicado: (2023)