Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Júnior. On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems. In Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena N. Stankova, Vladimir Korkhov, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, editors, Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II. Volume 11620 of Lecture Notes in Computer Science, pages 743-757, Springer, 2019. [doi]
@inproceedings{DiotoEJ19,
title = {On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems},
author = {Marina Dioto and Eduardo Rohde Eras and Valdivino Alexandre de Santiago Júnior},
year = {2019},
doi = {10.1007/978-3-030-24296-1_59},
url = {https://doi.org/10.1007/978-3-030-24296-1_59},
researchr = {https://researchr.org/publication/DiotoEJ19},
cites = {0},
citedby = {0},
pages = {743-757},
booktitle = {Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II},
editor = {Sanjay Misra and Osvaldo Gervasi and Beniamino Murgante and Elena N. Stankova and Vladimir Korkhov and Carmelo Maria Torre and Ana Maria A. C. Rocha and David Taniar and Bernady O. Apduhan and Eufemia Tarantino},
volume = {11620},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-24296-1},
}