Formal specification and verification of wireless networked self-organized Systems on Chip - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hayat Daoud, Camel Tanougast, Mostefa Belarbi, Mikael Heil. Formal specification and verification of wireless networked self-organized Systems on Chip. In International Conference on Control, Decision and Information Technologies, CoDIT 2014, Metz, France, November 3-5, 2014. pages 730-735, IEEE, 2014. [doi]

This author has not been identified. Look up 'Hayat Daoud' in GoogleThis author has not been identified. Look up 'Camel Tanougast' in GoogleThis author has not been identified. Look up 'Mostefa Belarbi' in GoogleThis author has not been identified. Look up 'Mikael Heil' in Google

runs on WebDSL