Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
https://elib.vku.udn.vn/handle/123456789/192Toàn bộ biểu ghi siêu dữ liệu
| Trường DC | Giá trị | Ngôn ngữ |
|---|---|---|
| dc.contributor.author | Nguyen, Trinh Dong | - |
| dc.date.accessioned | 2018-12-07T15:08:10Z | - |
| dc.date.available | 2018-12-07T15:08:10Z | - |
| dc.date.issued | 2017 | - |
| dc.identifier.uri | http://thuvien.cit.udn.vn//handle/123456789/192 | - |
| dc.description.abstract | This paper proposes a technique for specifying and analyzing the quality of functional and non-functional features in real-time systems. These works include a proposal of timed-resource protocols to model and analyze the interactions among methods and components, and a presentation of algorithms to decide if the behavior sequences of a system's environment to conform to component’s protocols | vi_VN |
| dc.language.iso | en | vi_VN |
| dc.subject | Timed - resource protocol | vi_VN |
| dc.subject | Timed-resource design | vi_VN |
| dc.subject | Real-time contracts | vi_VN |
| dc.subject | Real-time systems | vi_VN |
| dc.subject | Embedded systems | vi_VN |
| dc.title | A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems | vi_VN |
| dc.type | Article | vi_VN |
| Bộ sưu tập: | CITA 2017 | |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.