![](/img/cover-not-exists.png)
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
Paolieri, Marco, Biagi, Marco, Carnevali, Laura, Vicario, EnricoYear:
2019
Language:
english
Journal:
IEEE Transactions on Software Engineering
DOI:
10.1109/TSE.2019.2917202
File:
PDF, 2.95 MB
english, 2019