Mô hình Lesar

Tóm tắt Luận văn Thạc sĩ Kỹ thuật: 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 hướng đến nghiên cứu 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 nhằm tăng độ tin cậy, tính an toàn cho các hệ thống, giảm thời gian phát triển và lỗi xảy ra trong hệ thống phần mềm.

26p codon_05 04-12-2015 97 5   Download