退出
我的积分:
中文文献批量获取
外文文献批量获取
徐林; 吴智铭; 杨根科; 孟凡英;
上海交通大学自动化系;
上海交通大学物理系;
并发DEDS; 实时通信顺序进程; refusal模型; 离散事件动态系统; 自动导引小车; 火车道口系统;
机译:使用基于事件的规范表的并发规范
机译:基于串行实时通信规范II的高速通信系统设计
机译:指南VDI / VDE 2185第3部分,基于电池和能量收集的能源供应的自动化技术要求和规范中的基于无线电的通信'
机译:用于指定和验证实时并发系统的实时规范方法
机译:一种扩展的基于CSPE的方法,用于对并发程序进行基于规范的测试。
机译:健康科学 - 基于循证实践问卷(HS-EBP):西班牙骨质化专业人士的规范数据和差异型材
机译:使用异构表示法进行并发和通信的规范和细化
机译:并发逻辑语言中的通信异步性:基于序列的全抽象模型
机译:基于通信规范的与联系人发起通信的系统和方法
机译:用于基于通信规范启动与联系人的通信的系统和方法
机译:基于通信规范的具有联系的通信发起的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。