退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于图的模型转换的形式验证
Selim, Gehan Mustafa Kamel;
Queen's University (Canada);
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:使用合金验证基于图的模型转换
机译:行为模型到模型转换的形式验证技术
机译:使用中间验证语言正式验证关系模型转换
机译:程序及其转换的形式验证。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:自动代理系统综合的形式对象状态模型转换
机译:形式验证驱动的电源建模和设计验证
机译:正式验证驱动的功率建模和设计验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。