On the Verification of Data Encryption Requirements in Internet of Things Using Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. In Rim Jallouli, Mohamed Anis Bach Tobji, Deny Bélisle, Sehl Mellouli, Farid Abdallah, Ibrahim Osman, editors, Digital Economy. Emerging Technologies and Business Innovation - 4th International Conference, ICDEc 2019, Beirut, Lebanon, April 15-18, 2019, Proceedings. Volume 358 of Lecture Notes in Business Information Processing, pages 147-156, Springer, 2019. [doi]

This author has not been identified. Look up 'Imed Abbassi' in GoogleThis author has not been identified. Look up 'Layth Sliman' in GoogleThis author has not been identified. Look up 'Mohamed Graiet' in GoogleThis author has not been identified. Look up 'Walid Gaaloul' in Google

runs on WebDSL