Login / Signup

Using BECAMEDA method to specify and verify a smart home system.

Abdelhay HaqiqBouchaib Bounabat
Published in: ICSDE (2017)
Keyphrases
  • smart home
  • pairwise
  • active learning
  • software engineering
  • intelligent systems
  • context aware