KHO THƯ VIỆN 🔎

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

➤  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:         63 Trang
Tài liệu:           ✅  ĐÃ ĐƯỢC PHÊ DUYỆT
 













Nội dung chi tiết: Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal HẸ THÔNG TINHà Nội-2017ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG DẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGADẶC TÀ VÀ KIÉM CHƯNG CÁC HẸ THÕNG THỜI GIAN THựC sử DỤNGUPPAALNg

ành: Công nghệ thòng tinChuyên ngành:Kỳ Thuật Phần MềmMà số: 60480103Ll ẠN VÀN THẠC sĩ CÔNG NGHẸ THÔNG TINNGƯỜI HƯỚNG DẦN KHOA HỌC: PGS.TS PHẠM NGỌC H Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

ÙNGHà Nội - 2017iMỤC LỤCLƠI CAM ĐOAN......................................................................iiiLỜI CÁM ƠN...............................

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

..........................................ivDANH MỤC HÌNH VẼ....................................................................VCTTƯƠNG 1. GIỚI TTTự.

ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal liêu xá phạm vi cùa đê lái................................................21.3Cau trúc cùa luận vãn..................................................

.......2CHƯƠNG 2. Cơ SỜ LÝ 1 Hl YÉ1.........................................................42.1Dặc lã hệ thong....................................... Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

......................42.2Kiêm chứng hệ thông phân mêm................................................52.3Ô-tô-mát thói gian..........................

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

..............................7CHƯƠNG 3. DẠC TẢ VẢ KIÊM CHƯNG TRONG UPPAAL.........................................93.1Bộ công cụ 1'ppaal.............

ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH

Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal cụ Uppaal............................................93.1.2.1Java Client..........................................................103.1.2.2Stand-alone

Verifier.................................................163.2Mạng ở-tô-niãt thời gian trong Vppaal......................................16 Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal

ĐẠI HỌC QƯÓC GIA HA NỌI TRƯỜNG ĐẠI HỌC CÔNG NGHẸPHẠM THỊ TÓ NGAĐẠC TẢ VÀ KIÉM CHỬNG CÁC HỆ THỐNG THỜI GIAN THựC sứ DỤNGUPPAALLUẬN VÂN THẠC Sĩ CÔNG NGH

Gọi ngay
Chat zalo
Facebook