Sách trắng
Quy trình xác minh dựa trên mô hình được tối ưu hóa để tuân thủ các mục tiêu DO-178C DO-331
Bài thuyết trình này sẽ nêu chi tiết quy trình xác minh một ứng dụng dựa trên mô hình được phát triển bằng SCADE và sẽ nêu bật cách Kiểm tra SCADE kết hợp với Môi trường kiểm tra LDRA có thể đáp ứng các mục tiêu xác minh DO-178C/DO-331
