...
机译:通过抽象解释TinyOS中设备驱动程序的功能属性进行静态分析
CERIST Research Center, Algiers, Algeria ,USTHB University, Algiers, Algeria ,Ecole Normale Superieure, Paris, France ,University Pierre and Marie Curie, LIP6, Paris, France;
Ecole Normale Superieure, Paris, France ,University Pierre and Marie Curie, LIP6, Paris, France;
CERIST Research Center, Algiers, Algeria ,USTHB University, Algiers, Algeria;
CERIST Research Center, Algiers, Algeria ,USTHB University, Algiers, Algeria;
Static analysis; abstract interpretation; wireless sensor networks; device drivers;
机译:设备驱动程序的彻底静态分析
机译:静态型分析通过抽象解释Python计划
机译:使用抽象解释对生物调控网络动力学进行静态分析
机译:海报摘要:TinyOS中设备驱动程序的静态分析
机译:核磁共振和核四极共振特性的密度泛函计算:具有分子轨道和自然键轨道分析的分子动力学和静态溶剂壳模型
机译:两年随访的可扩展与静态外侧腰椎椎间融合器的临床和影像学分析
机译:通过抽象解释TinyOS中设备驱动程序的功能属性进行静态分析