Login / Signup
TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action Programming.
Liangyu Chen
Chen Wang
Cheng Chen
Caidie Huang
Xiaohong Chen
Min Zhang
Published in:
IEEE Internet Things J. (2024)
Keyphrases
</>
lightweight
wireless sensor networks
statistical analysis
natural language processing