Design and verification of simulation models of passive houses.

Petr Novák Radek Sindelár

Published in: ETFA (2012)

Keyphrases

simulation models
neural network
case study
design principles
user interface
design process
computer aided
simulation model
engineering design
design methodology
formal methods
simulation tools
real time
artificial intelligence
design decisions
signature verification