Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change

Zhengguo Yang, Toshiaki Aoki, Yasuo Tan. Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change. In Eva Besada-Portas, Óscar Rodríguez Polo, Robson E. De Grande, José Luis Risco-Martín, editors, 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018, Madrid, Spain, October 15-17, 2018. pages 1-10, IEEE Computer Society, 2018. [doi]

@inproceedings{YangAT18,
  title = {Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change},
  author = {Zhengguo Yang and Toshiaki Aoki and Yasuo Tan},
  year = {2018},
  doi = {10.1109/DISTRA.2018.8601005},
  url = {https://doi.org/10.1109/DISTRA.2018.8601005},
  researchr = {https://researchr.org/publication/YangAT18},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2018, Madrid, Spain, October 15-17, 2018},
  editor = {Eva Besada-Portas and Óscar Rodríguez Polo and Robson E. De Grande and José Luis Risco-Martín},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5386-5048-6},
}