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]
Abstract is missing.