Zhengguo Yang, Toshiaki Aoki, Yasuo Tan. Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. In 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018. pages 135-144, IEEE, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.