Multiple Conformance to Hybrid Automata for Checking Smart House Temperature Change.

Published in: DS-RT (2018)

Keyphrases