Robustness testing of composed real-time systems
In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | article |
| منشور في: |
2010
|
| الوصول للمادة أونلاين: | http://hdl.handle.net/10725/14734 https://doi.org/10.3233/JCM-2010-0274 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|