Requirements for A Formal Approach to Represent Information Exchange Requirements of a Self-managing Framework for HVAC Systems

Xuesong Liu, Burcu Akinci, James H. Garrett, Mario Bergés
July 2012
Type
Conference paper
Publication
Proceedings of the 2012 International Conference on Computing in Civil and Building Engineering