Tìm hiểu về Ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Đại học Dân lập Hải Phòng
Abstract
Đồ án trình bày trong ba chương với nội dung mỗi chương như sau: Chương 1: Tìm hiểu về Model checking và lý thuyết hệ thời gian thực (Real timed system). Chương 2 : Tìm hiểu về lý thuyết Otomat thời gian (Timed automata). Chương 3 : Thử nghiệm đặc tả hệ thống.