Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty - Han, Deshuai; Cai, Yanping; Chen, WenJie; Cui, Zhigao; Li, Aihua (Applied sciences, 2023)
Keywords: Adaptation; Cloud computing; formal modeling; formal templates; Internet service providers; Performance evaluation; Quantitative analysis; self-adaptive software; Software; time behavior