Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Embedded Systems
-
HW/SW Partitioning
-
Satisfiability Modulo Theories
-
Software Verification
-
automated verification
-
energy systems
-
model checking
-
multi-core model checking
-
off-grid systems
Identidade
identificador BrCris
-
35cb4c61b0717c5714dff64f772ddfb4
identificador Oasisbr
-
UFAM_bdde3613dceb47d70a9797bf440fe94b