Từ mấy thập kỷ nay, các hệ thống máy tính đã được ứng dụng trong rất nhiều lĩnh vực đời sống xã hội, nhiều các ngành công nghiệp phụ thuộc rất nhiều vào các hệ thống máy tính trong quá trình hoạt động của mình. Sự an toàn và tính tin cậy trong hoạt động của các hệ thống phần mềm là yêu cầu cơ bản và quan trọng nhất trong nhiều lĩnh vực công nghiệp có ứng dụng công nghệ thông tin, chẳng hạn các ngành công nghiệp như công nghiệp hàng không, công nghiệp dầu lửa, các hoạt động thương mại điện tử, ngân hàng điện tử, công nghiệp tự động hoá, các hệ thống phục vụ trong lĩnh vực quốc phòng, lĩnh vực nghiên cứu không gian, công nghiệp sản xuất hàng gia dụng (sản xuất máy giặt, sản xuất ôtô…). Luận văn thạc sĩ tin học Chuyên ngành Công nghệ thông tin Người hướng dẫn khoa học: TS. Huỳnh Quyết Thắng Tác giả: Phạm Bá Quang Số trang: 105 Kiểu file: PDF Ngôn ngữ: Tiếng Việt Đại học Bách khoa Hà Nội 2017 Link Download http://dlib.hust.edu.vn/handle/DHBKHN_123456789/10321https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1