[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification
Bettira, Roufaida, Kahloul, Laid, Khalgui, Mohamed, Li, ZhiwuYear:
2019
Language:
english
DOI:
10.1109/SMC.2019.8913890
File:
PDF, 713 KB
english, 2019