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
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: 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
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
ĐẠ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ự 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 ự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ƯƠ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ựC HƯỚNG THÀNH PHANChuyên ngành: Kĩ thuật Phần niềm Mã số:9180103.01LUẬN ÁN TI 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 ẾN SI NGÀNH CÔNG NGHỆ THÔNG TINNGƯỜI HƯỚNG ĐẪN KHOA HỌC:1TS. Đặng Vần ĩĩiíug2PGS. TS. Trương Ariìi HoàngHà Nội - 2018Mục lụcTrangMục lục..............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
....................................................... iDanh mục hình VC............................................................ VDanh mục bàng..ĐẠ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ự 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 .................................................................. 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.3 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 .Bố cục của luận án................................................... 5Chương 2. Kiến thức nền tâng................................................ 6Mộ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
2.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............................. 62.ĐẠ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ự 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 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ài 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 toán kiểm chứng hệ thống thơi gian thực.............................. 23ĐẠ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ựĐẠ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ựGọi ngay
Chat zalo
Facebook