退出
我的积分:
中文文献批量获取
外文文献批量获取
许玉堂; 殷永峰; 孙静; 张弛; 刘斌;
北京理工大学 机电学院,北京100081;
北京航空航天大学 可靠性与系统工程学院,北京100191;
中国兵器科学研究院,北京100089;
计算机软件; 软件体系结构; 可靠性评估; 时间扩展Petri网;
机译:通过Petri网的建模和性能验证,在多处理器环境中运行的嵌入式软件的扩展时间
机译:具有时间冗余的相控任务系统任务可靠性评估的扩展面向对象Petri网模型
机译:基于扩展有限状态机的实时嵌入式软件测试方法
机译:基于Petri网的软件体系结构建模与可靠性评估
机译:基于安全性模型的GPCA输液泵实时嵌入式软件开发
机译:从时间序列数据重建扩展Petri网及其在信号转导和基因调控网络中的应用
机译:在嵌入式软件环境中应用全局时间Petri网分析在嵌入式软件环境中应用时域Petri网络的全局分析
机译:基于组件的事件驱动的实时嵌入式软件的模型检查
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:ASON / GMPLS体系结构扩展,用于基于预留和基于时间的自动带宽服务
机译:基于预留和基于时间的自动带宽服务的ASON / GMPLS体系结构扩展
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。