|
[KRF16]
Lubos Korenciak, Vojtech Rehak and Adrian Farmadin.
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.
In Proc. 12th International Conference on Integrated Formal Methods (IFM'16), volume 9681 of LNCS, pages 130-138, Springer.
2016.
[Presents an extension of PRISM to support fixed-delay continuous-time Markov chains (fdCTMCs).]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|