A formal approach to specify and verify Internet of Things architecture - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdessamad Saidi 0002, Mohamed Hadj Kacem, Imen Tounsi, Ahmed Hadj Kacem. A formal approach to specify and verify Internet of Things architecture. Internet of Things, 24:100972, December 2023. [doi]

This author has not been identified. Look up 'Abdessamad Saidi 0002' in GoogleThis author has not been identified. Look up 'Mohamed Hadj Kacem' in GoogleThis author has not been identified. Look up 'Imen Tounsi' in GoogleThis author has not been identified. Look up 'Ahmed Hadj Kacem' in Google

runs on WebDSL