Verification of a Building Simulator in Real Experiments.

Karol Jablonski Dariusz Bismor

Published in: PCC (1) (2023)

Keyphrases

machine learning
artificial intelligence
information systems
real life
multiresolution
database
computer vision
knowledge base
website
three dimensional
similarity measure
wide range
model checking
formal verification