Login / Signup
Marina Dioto
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Epistemic Logic
Automated Verification
Reactive Systems
Model Checking
Top Venues
ICCSA (2)
</>
Publications
</>
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.
ICCSA (2)
(2019)