Internet of Things design patterns modeling proven correct by construction: Application to aged care solution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Imen Tounsi, Abdessamad Saidi 0002, Mohamed Hadj Kacem, Ahmed Hadj Kacem. Internet of Things design patterns modeling proven correct by construction: Application to aged care solution. Future Generation Comp. Syst., 148:395-407, November 2023. [doi]

This author has not been identified. Look up 'Imen Tounsi' in GoogleThis 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 'Ahmed Hadj Kacem' in Google

runs on WebDSL