科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过拟合模型检查在ASP中验证行动理论的完整性
L. Giordano; A. Martelli; D. T. Dupre;
机译:通过ASP中的边界模型检查来实现动作理论的验证的完整性
机译:模型检查依赖于推测的安全属性:为声音和完整验证抽象和减少处理器模型?
机译:ESBMC-GPU一个上下文关联的模型检查工具,用于验证CUDA程序
机译:实现ASP中动作理论的有界模型检查的完整性
机译:模型检验中验证与反驳的抽象。
机译:使用扩散到边界模型的决策理论:选择反应时间和置信度
机译:模型检查猜测依赖安全性质:抽象和减少处理器模型,用于声音和完整验证
机译:有限模型检验验证并发程序
机译:姓名号码验证为注册人提供了注册名称和国际银行帐号(IBAN)的机会。然后,用户(第三方)可以检查名称和IBAN的组合是否实际上属于一起。该系统具有从支付系统到银行或其他来源的技术链接选项(API,应用程序编程接口),从而可以通过分析每个成功完成的SEPA交易(银行支付)来检查相关IBAN的标识。
机译:通过集成用户引导的抽象,可扩展模型检查功能验证
机译:用于在一组集成的GASPEA上执行操作的系统和方法;自动切割装置和方法;一套GASPEA方法的水泥边际;要实现自动切割机应收一套GASPEA
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。