Tarhini, Abbas; Fouchal, Hacène
(IEEE, 2023-06-07)
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 ...