Linearization based Safety Verification of a Glucose Control Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ankita Samaddar, Zahra RahimiNasab, Arvind Easwaran, Ansuman Banerjee, Xue Bai. Linearization based Safety Verification of a Glucose Control Protocol. In IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019. pages 221-228, IEEE, 2019. [doi]

This author has not been identified. Look up 'Ankita Samaddar' in GoogleThis author has not been identified. Look up 'Zahra RahimiNasab' in GoogleThis author has not been identified. Look up 'Arvind Easwaran' in GoogleThis author has not been identified. Look up 'Ansuman Banerjee' in GoogleThis author has not been identified. Look up 'Xue Bai' in Google

runs on WebDSL