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

Please use this identifier to cite or link to this item: http://lib.hpu.edu.vn/handle/123456789/18172

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
Authors:	Đặng, Thanh Tâm
Keywords:	Công nghệ thông tin Ôtomat thời gian Ứng dụng Đặc tả Hệ thống thời gian thực
Issue Date:	2010
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.
URI:	https://lib.hpu.edu.vn/handle/123456789/18172
Appears in Collections:	Đồ án tốt nghiệp CNTT

Files in This Item:

File	Description	Size	Format
100_DangThanhTam_CT1001.pdf		735.98 kB	Adobe PDF	View/Open

DSpace JSPUI