Browsing by Subject Lustre/SCADE
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Advisor | Source |
---|---|---|---|---|
2018-11 | Automatic Regression Testing for Lustre/SCADE Applications | Trinh, Cong Duy | Nguyen, Thanh Binh, Assoc. Prof. Dr.; Parissis, Ioannis, Prof. Dr. | Trung tâm Phát triển Phần mềm |
2015 | Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình | Trịnh, Công Duy; Nguyễn, Thanh Bình | - | Đại học Đà Nẵng |