![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Computational Science and Its Applications – ICCSA 2019 Volume 11620 (19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II) || On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems
Misra, Sanjay, Gervasi, Osvaldo, Murgante, Beniamino, Stankova, Elena, Korkhov, Vladimir, Torre, Carmelo, Rocha, Ana Maria A.C., Taniar, David, Apduhan, Bernady O., Tarantino, EufemiaVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-24296-1_59
File:
PDF, 1.48 MB
english, 2019