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]
Abstract is missing.