Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 166 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CỒNG NGHỆNguyễn Trịnh ĐôngMỘT SỐ PHƯƠNG PHÁP MÔ HÌNH HÓA VÀ KIỂM CHỨNG HÌNH THỨC CHO CÁC HỆ THỐNG THỜI GIAN THự

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801ựC HƯỚNG THÀNH PHANLUẬN ÁN TIẾN Sỉ NGÀNH CÔNG NGHỆ THÔNG TINHà Nội - 2018DẠT HỌC QUỐC GTA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNguyễn Trịnh ĐôngMỘT SỐ PHƯƠN

G PHÁP MÔ HÌNH HÓA VÀ KIỂM CHỨNG HÌNH THỨC CHO CÁC HỆ THỐNG THỜI GIAN THựC HƯỚNG THÀNH PHANChuyên ngành: Kĩ thuật Phần niềm Mã số:9180103.01LUẬN ÁN TI Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

ẾN SI NGÀNH CÔNG NGHỆ THÔNG TINNGƯỜI HƯỚNG ĐẪN KHOA HỌC:1.TS. Đặng Vần ĩĩiíug2.PGS. TS. Trương Ariìi HoàngHà Nội - 2018Mục lụcTrangMục lục............

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

......................................................... iDanh mục hình VC............................................................ VDanh mục bàng

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801.................................................................... XVChưưng 1. Giới thiệu........................................................ 11

.1.Đặt vấn đề........................................................... 11.2.Các (lóng góp chính của luận án...................................... 31 Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

.3.Bố cục của luận án................................................... 5Chương 2. Kiến thức nền tâng................................................

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

62.1.Phát triển phần mồm dựa trôn thành phần.............................. 62.1.1.Kỷ nghệ phần mềm dựa trên thành phần............................. 6

Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801ác phưưng pháp UIÔ hình hóa hệ thống thời gian thực................ 122.2.1.Õtômát thời gian và vùng thời gian.............................. 132.2.2.Õ

tômát trọng số................................................. 192.2.3.Ôtômát khoáng........................................................ 202.3.Bà Luận án tiến sĩ một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần luận án TS máy tính 94801

i toán kiểm chứng hệ thống thơi gian thực.............................. 23