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)

Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations

von Li, Bowen
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)