Formal analysis of Fresenius infusion pump (FIP) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria. Formal analysis of Fresenius infusion pump (FIP). In Chenyang Lu, P. R. Kumar, Radu Stoleru, editors, ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), ICCPS '13, Philadelphia, PA, USA, April 8-11, 2013. pages 253, ACM, 2013. [doi]

This author has not been identified. Look up 'Vasiliki Sfyrla' in GoogleThis author has not been identified. Look up 'Sébastien Marcoux' in GoogleThis author has not been identified. Look up 'Claude Vittoria' in Google

runs on WebDSL