退出
我的积分:
中文文献批量获取
外文文献批量获取
张锦坤; 乔磊; 杨桦; 刘波; 刘鸿瑾;
中国计算机学会;
航天器; 操作系统; 形式化建模; 验证方法;
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:多任务技术的最新趋势:高精度多任务机床“ Super High Cell”带来的加工操作得以改善
机译:模拟事故期间控制室操作员的多任务处理和中断管理
机译:嵌入式科学计算:一种用于数据驱动型业务和开放科学的统计软件的可扩展,可互操作且可重现的方法。
机译:手术室中手术团队的任务多任务和中断:前瞻性观察研究
机译:作为市场驱动的市场驱动型市场驱动型市场驱动型市场推广市场导向战略:理论模型和研究建议
机译:COsmO-skymed互操作性,可扩展性和多传感器功能:完整的多任务频谱操作的关键
机译:用于多任务操作系统协议的任务性能记录器-包括用于存储任务选择中断大小和系统调用信息的中断信息的存储区
机译:用于预测系统需求的多任务学习的系统和方法
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。