Not registered as user yet

Name:Laura Carnevali
Affiliation:University of Florence

Contributions

ICSE 2020 Author of The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems within the Journal First-track