退出
我的积分:
中文文献批量获取
外文文献批量获取
陈冰; 周祖德; 陈幼平; 谢经明; 艾武;
华中科技大学国家数控工程研究中心;
湖北;
武汉;
430074;
可调度性分析; 时间自动机; 控制器局域网络; 时序逻辑; 模型检查;
机译:使用状态模型和有向图模型的可调度性分析方法的比较,用于同步FSM的可调度性分析
机译:基于UML和时间自动机的软实时系统设计分析方法
机译:基于改进时间需求分析的多处理器环境速率单调算法的可调度性分析
机译:可调度性设计:将可调度性分析与面向对象设计集成在一起
机译:延迟组成理论:一种基于约简的分布式实时系统可调度性理论。
机译:基于实时参与者的系统的可调度性分析
机译:应用于无人飞艇的CAN网络中消息的可调度性分析
机译:通信并发程序的编译时可调度性分析。
机译:用于同时命令脉冲和从发射时间自动机系统切换到接收时间自动机的电路,它会干扰多个超声压电换能器
机译:可调度性确定系统,可调度性确定方法和程序
机译:用于硬实时调度的任务组可调度性分析方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。