Automated Verification of Stand-alone Solar Photovoltaic Systems.

Alessandro Trindade Lucas C. Cordeiro

Published in: CoRR (2018)

Keyphrases

automated verification
model checking
maximum power point tracking
data sets
management system
distributed systems
complex systems
automated reasoning