Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification.

Roufaida Bettira, Laid Kahloul, Mohamed Khalgui, Zhiwu Li

Browse the full SMC paper archive.