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

dc.contributor.author	Đặng, Thanh Tâm	en_US
dc.date.accessioned	2014-04-18T09:05:00Z
dc.date.available	2014-04-18T09:05:00Z
dc.date.issued	2010	en_US
dc.identifier.other	1567	en_US
dc.identifier.uri	https://lib.hpu.edu.vn/handle/123456789/18172
dc.description.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.	en_US
dc.format.extent	41 tr.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	vi	en_US
dc.publisher	Đại học Dân lập Hải Phòng	en_US
dc.subject	Công nghệ thông tin	en_US
dc.subject	Ôtomat thời gian	en_US
dc.subject	Ứng dụng	en_US
dc.subject	Đặc tả	en_US
dc.subject	Hệ thống thời gian thực	en_US
dc.title	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	en_US
dc.type	Thesis	en_US
dc.size	934 KB	en_US
dc.department	Khoa Công nghệ thông tin	en_US
dc.description.degree	Đồ án	en_US