退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:AFDX冗余管理算法的正式规范和分析
Jan Täubrich; Reinhard Von Hanxleden;
机译:AFDX网络中冗余管理的可靠性增强
机译:计算机辅助复苏算法(CARA)输液泵控制系统的正式规格和分析
机译:基于模型的药物使用管理的智能代理的正式规范和分析
机译:基于分析冗余的容错飞行控制系统的要求的正式规范。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:AFDX框架管理设计的正式建模和分析
机译:异步容错控制系统冗余管理算法分析
机译:基于形式分析的需求规范演变
机译:在基于形式分析的需求规范开发中
机译:用于软件系统形式规范和时序属性分析的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。