Login / Signup

A Case Study of Choreography Realizability Checking on Smart Home Application.

Marika IzawaToshiyuki Miyamoto
Published in: ICCE (2021)
Keyphrases
  • smart home
  • low cost
  • context aware
  • intrusion detection
  • activity recognition
  • older adults
  • assisted living
  • home automation