Formal Modeling and Analysis of Small-Scale Data Centers Integrating Renewable Energy Using Timed Automata

Ismael Samaye, Gilles Sassatelli, Abdoulaye GamatiƩ. Formal Modeling and Analysis of Small-Scale Data Centers Integrating Renewable Energy Using Timed Automata. T-SUSC, 11(1):57-71, January - February 2026. [doi]

Abstract

Abstract is missing.