Not registered as user yet

Name:Yamilet R. Serrano Llerena
Affiliation:National University of Singapore, Singapore

Contributions

ESEC/FSE 2018 Author of Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty within the Research Papers-track