![](/image/LogoVKU.png)
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/192
Nhan đề: | A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems |
Tác giả: | Nguyen, Trinh Dong |
Từ khoá: | Timed - resource protocol Timed-resource design Real-time contracts Real-time systems Embedded systems |
Năm xuất bản: | 2017 |
Tóm tắt: | 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 |
Định danh: | http://thuvien.cit.udn.vn//handle/123456789/192 |
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.