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]
@inproceedings{YangAT18-0,
title = {Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems},
author = {Zhengguo Yang and Toshiaki Aoki and Yasuo Tan},
year = {2018},
doi = {10.1109/PRDC.2018.00024},
url = {https://doi.org/10.1109/PRDC.2018.00024},
researchr = {https://researchr.org/publication/YangAT18-0},
cites = {0},
citedby = {0},
pages = {135-144},
booktitle = {23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018},
publisher = {IEEE},
isbn = {978-1-5386-5700-3},
}