谄媚于人
发表于 2025-3-30 11:49:44
http://reply.papertrans.cn/39/3885/388437/388437_51.png
绅士
发表于 2025-3-30 14:43:13
http://reply.papertrans.cn/39/3885/388437/388437_52.png
capsaicin
发表于 2025-3-30 17:06:22
http://reply.papertrans.cn/39/3885/388437/388437_53.png
烧烤
发表于 2025-3-30 21:23:42
Model-Based Evaluation of Energy Saving Systemsoborate the proposed framework, a case study in the railway domain is proposed. By adopting the Stochastic Activity Networks formalism, the framework is instantiated to analyse effective trade-offs between energy consumption and satisfaction of other dependability related requirements.