Login / Signup
Verification and validation of a simulation model for energy use in buildings.
George Kalogeras
Christos Koulamas
Athanasios P. Kalogeras
A. Moronis
Published in:
WFCS (2018)
Keyphrases
</>
simulation model
simulation models
discrete event
agent based simulation
energy consumption
simulation environment
mathematical model
analytical model
energy minimization
aerial images
simulation tool
model checking
signature verification
formal verification
verification method
complex systems