退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于组件的Csp的高级建模
Chenouard Raphael; Granvilliers Laurent; Soto Ricardo;
机译:一键七个:LTL模型检查B,Z,CSP等中的高级规范
机译:暴露在火中的翅片连接的基于组件的模型II:基于组件的模型的建立
机译:基于新的组件可靠性模型,以预测基于组件的软件的可靠性
机译:基于组件的CSP的高级建模
机译:选定的CSP解决方案和建模技术的理论比较
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:从基于组件的高级模型到分布式实现
机译:使用高级模型仿真从高级模型创建扫描链定义
机译:通过组合翻译成高级语言的HDL控制功能和单独的高级数据路径功能,生成电子系统的高级仿真模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。