Abdelhay Haqiq

Using BECAMEDA method to specify and verify a smart home system

2017

Designing a correct model for smart systems requires an accurate specification and verification prior to development. This paper proposes the use of BECAMEDA (Behavioral SpEcification and VerifiCAtion of RMAS based on E-MDRA) method, which helps …