External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Zhengguo Yang

This author has not been identified. Look up 'Zhengguo Yang' in Google

Toshiaki Aoki

This author has not been identified. Look up 'Toshiaki Aoki' in Google

Yasuo Tan

This author has not been identified. Look up 'Yasuo Tan' in Google
runs on