退出
我的积分:
中文文献批量获取
外文文献批量获取
贾尚坤; 贺飞;
清华大学软件学院;
北京100084;
回归验证; 证据自动机; 不变式重用; 可配置程序分析检测工具; k-归纳;
机译:使用混合自动机确定实时软件和验证其调度性的验证
机译:埃及的能源支出:基于大分回归方法的经验证据
机译:使用ANSYS软件进行多主轴自动机和验证的主轴偏转的数学建模
机译:可以管理能力提升企业社会责任吗? 基于线性回归分析的经验证据
机译:使用持续方法进行安全验证的基于稳定性的混合自动机。
机译:选定的被忽视的热带病每人大规模治疗费用的基准:基于文献综述和基于元回归的基于Web的软件应用方法
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:基于活动的合同软件为优化业务运营和个人绩效而开发的软件交付框架。该系统存储在本地或云中,可以安全地集中进行基于活动的合同的度量。可以使用电子证据收集和活动跟踪来设置和衡量个人和团队的贡献。
机译:客户操作型自动机的软件生成方法和验证方法,以及客户操作型自动机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。