[IEEE 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - London, United Kingdom (2016.9.19-2016.9.21)] 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) - Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
Korenciak, Lubos, Kucera, Antonin, Rehak, VojtechYear:
2016
Language:
english
DOI:
10.1109/mascots.2016.34
File:
PDF, 196 KB
english, 2016