退出
我的积分:
中文文献批量获取
外文文献批量获取
郭婧; 徐中伟; 李丽梅;
同济大学电子与信息工程学院 上海201804;
九江学院图书馆 九江332005;
一致性测试; 实时性; 并发性; 形式化方法; 精化关系;
机译:基于使用激光散斑流量成像的血管系统的术中实时识别,避免在脑病变中切除脑病变后的缺血性并发症
机译:基于间隔的数据优化:在离散和实时系统中采用统一方法实现真正的并发
机译:基于离散事件网的多机器人实时并发控制建模与控制系统设计
机译:可扩展的高级实时并发系统从10 / SUP 7 /〜10 / SUP 85 /州的高级实时并发验证
机译:用于实时数据库系统的基于语义的并发控制协议和分布式软件代理。
机译:一种基于模型的多主体系统测试方法
机译:应用于实时控制系统问题的基于摄动的测试方法分析
机译:支持实时应用的面向对象数据库系统的基于语义的并发控制。
机译:具有基于优先级的实时操作系统的嵌入式系统数据库管理设备的并发控制方法
机译:网格计算系统中的点对点工作监视和控制系统,特别是考虑到接收工作过程的实时反馈并发送实时命令以更改连续工作
机译:基于组件和计算机可读记录介质的系统实时一致性测试方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。