On the Feasibility of Probabilistic Model Checking to Analyze Battery Sustained Power Supply Systems.

Marina Dioto, Eduardo Rohde Eras, Valdivino Alexandre de Santiago Jnior

Browse the full ICCSA paper archive.