退出
我的积分:
中文文献批量获取
外文文献批量获取
刘彦斌; 朱小冬;
军械工程学院,石家庄050003;
多智体; 监控器; 运行验证; 性质规约; 软件保障; 实时系统;
机译:支持Dimamulti-agents模型的形式验证:基于Maude模型检查的框架
机译:测试商业策略的正式方法:使用基于Multiagent的技术进行比较研究
机译:基于Multiagent系统的软件组件协同机制研究。
机译:基于增量式共识的基于Multiagent的分布式控制,可最大程度地降低下降控制的AC微电网的运行成本
机译:Multiagent机器人中低复杂度控制的基于距离的行为。
机译:医学研究中用于动态数据聚合的Multiagent系统
机译:auton agent multi-agent syst DOI 10.1007 / s10458-010-9125-6基于兴趣的谈判的实证研究
机译:multi-array(trademark)使用meso scale Discovery(商标)sector pR(商标)对Biowarfare agents进行免疫检测
机译:在运行时替换实时系统中基于连接的通信机制的系统和方法
机译:在运行时替换实时系统中基于基础连接的基础通信机制的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。