退出
我的积分:
中文文献批量获取
外文文献批量获取
王青; 杨孟飞;
北京控制工程研究所;
中国空间技术研究院;
验证; 断言; 形式验证; 模型检验;
机译:AMS设计上基于断言的功能的形式化解释
机译:基于动态协同进化的扩展粗糙形式概念挖掘算法研究与应用
机译:基于Agent Petri网形式主义的多Agent系统元建模与验证方法
机译:基于断言的缺席属性模式验证方法
机译:证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
机译:一种人机交互系统的形式化验证方法
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用
机译:使用状态图断言进行实时软件系统的形式验证和验证:案例研究
机译:断言的断言形式
机译:一种基于形式语法的可扩展标记语言文档的验证方法,包括由检查者接收文档,并通过使用检查者基于过滤器确定规则
机译:基于用户程序代码的断言生成装置和方法用于断言的处理器验证的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。