退出
我的积分:
中文文献批量获取
外文文献批量获取
沈军; 沈轩; 高文; 张勇;
中国计算机自动测量与控制技术协会;
软件体系结构; 功能验证; 松耦合; 分布式实时系统;
机译:NUClear:类人机器人系统的松耦合软件体系结构
机译:工程分布式系统的面向代理的可视化建模和模型验证
机译:松耦合分布式系统中远程过程的准入控制和调度
机译:松耦合分布式系统软件体系结构的仿真与验证
机译:面向状态的偏序模型和逻辑,用于分布式系统验证。
机译:Explorer-2知识管理环境的面向对象软件体系结构
机译:验证和行为抽象-面向大型分布式系统的可实践验证技术
机译:面向分布式系统设计与验证的组合方法
机译:用于验证机器人的软件体系结构和材料的仿真平台
机译:机器人软件和软件体系结构验证的仿真平台
机译:从高层的,面向行为的描述中创建,导出和验证电子系统的结构描述的方法和系统,包括交互式示意图设计和仿真
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。