Workshop on Model Based Design for Cyber-Physical Systems (MB4CP) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani. Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015. pages 565-566, IEEE, 2015. [doi]

This author has not been identified. Look up 'Alberto Avritzer' in GoogleThis author has not been identified. Look up 'Daniel Sadoc Menasché' in GoogleThis author has not been identified. Look up 'Kishor S. Trivedi' in GoogleThis author has not been identified. Look up 'Lucia Happe' in GoogleThis author has not been identified. Look up 'Sahra Sedigh Sarvestani' in Google

runs on WebDSL