sensor networks; TinyOS; debugging; development;
机译:通过抽象解释TinyOS中设备驱动程序的功能属性进行静态分析
机译:摘要S.2.1-摘要S.2.4
机译:Aperture 2.1插件
机译:演示摘要:yeti - Tineos 2.1的Eclipse插件
机译:用于动态分段常量和事件时间序列的Eclipse BIRT插件。
机译:海报摘要:TinyOS 2.1在TinyOS中添加线程和内存保护TinyOS联盟
机译:GINa演示应用程序。 Common Lisp的2.1版。