Hardware; Runtime; Memory management; Malware; Programming; Security;
机译:寻求更实用的基于软件的认证
机译:核心自我评估量表:软件专业人员的经验证明
机译:分布式软件防病毒防御蠕虫传播
机译:物联网系统软件的程序流证明
机译:无线传感器节点中基于软件的内存证明方案的比较和分析
机译:基于最先进的软件遥控证明:机会和事物互联网的开放问题
机译:旨在减少程序流错误对嵌入式系统的影响的技术
机译:使用冯诺依曼体系结构和动态内存分配实时系统软件认证的概念证明。