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.department | Khoa Công nghệ thông tin | en_US |
| 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.description.degree | Đồ án | en_US |
| dc.format.extent | 41 tr. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.identifier.other | 1567 | en_US |
| dc.identifier.uri | https://lib.hpu.edu.vn/handle/123456789/18172 | |
| dc.language.iso | vi | en_US |
| dc.publisher | Đại học Dân lập Hải Phòng | en_US |
| dc.size | 934 KB | 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 |