hypersafety property; information flow control; interprocedural analysis; noninterference; weakest precondition;
机译:通过自我组合来确保信息流的安全
机译:自我组合对浮点程序的鲁棒性分析
机译:自我组合对浮点程序的鲁棒性分析
机译:基于自组合的通用信息流分析
机译:使用多变量判别分析(MDA),逻辑回归和营业现金流量(OCF)比率分析来预测公司破产:一种基于现金流量的方法。
机译:基于CRISPR / CAS12A的通用横向流体体传感器用于全血的非洲猪瘟病毒的敏感和特异性检测
机译:通过自组合保护信息流