Evaluation of Estimation Techniques for Probabilistic Verification.

von Vasileva, An Mariia
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)