科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于约束的软件验证的象征方法
Datta, Shubhra;
The University of Texas at El Paso;
机译:验证卫星机载软件的符号模型检查方法
机译:基于约束的软件规范和使用UML的验证
机译:符号时间约束约束一个肛门分析,是一种验证混合系统的近似方法
机译:基于约束的方法来验证具有浮点数的程序。
机译:无监督的象征自然语言惯用单位的收购:新闻文章和推文的分组的基于n克频率的方法
机译:符号时间约束分析,一种验证混合系统的方法
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:使用符号执行来验证C ++程序的软件体系结构
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。