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]
Abstract is missing.