CRUD matrix; SEA relations; databases; program analysis; program dependencies;
机译:具有仿射线性和非线性相关性的参数区间线性系统p解的一种新计算方法
机译:关系数据库系统中计算模糊函数依赖关系的新方法
机译:基于强可计算性的高阶重写系统静态依赖对方法
机译:迈为在数据库密集型系统中计算依赖性的安全方法
机译:安全,准确,灵活和高效的计算机断层扫描系统:SAFE-CT
机译:肿瘤的总体肿瘤体积依赖于二维计算机断层扫描图像的相分类方法
机译:基于强可计算性的高阶重写系统静态依赖关系方法
机译:高速地面运输系统的安全性:计算机控制子系统安全验证的分析方法。第1卷。安全验证/验证方法的最新技术和评估