Poster abstract: static analysis of device drivers in TinyOS

Abdelraouf Ouadjaout, Noureddine Lasla, Miloud Bagaa, Nadjib Badache. Poster abstract: static analysis of device drivers in TinyOS. In Adam Wolisz, Jie Liu, Lin Zhong, editors, IPSN'14, Proceedings of the 13th International Symposium on Information Processing in Sensor Networks (part of CPS Week), April 15-17, 2014, Berlin, Germany. pages 297-298, IEEE/ACM, 2014. [doi]

Authors

Abdelraouf Ouadjaout

This author has not been identified. Look up 'Abdelraouf Ouadjaout' in Google

Noureddine Lasla

This author has not been identified. Look up 'Noureddine Lasla' in Google

Miloud Bagaa

This author has not been identified. Look up 'Miloud Bagaa' in Google

Nadjib Badache

This author has not been identified. Look up 'Nadjib Badache' in Google