Robustness evaluation of real-Time Protocols
In this paper, we suggest a methodology for measuring the degree of robustness for Real-Time Component-Based Systems (RTCBS). Each component of the RTCBS system is modeled as a Timed Labeled Transition System (TLTS). For each component, we handle two specifications : a nominal one and a degraded one...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | conferenceObject |
| منشور في: |
2006
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://hdl.handle.net/10725/14756 https://doi.org/10.1109/AICT-ICIW.2006.162 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://ieeexplore.ieee.org/abstract/document/1602227 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|