Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems | IEEE Conference Publication | IEEE Xplore
  翻译: