退出
我的积分:
中文文献批量获取
外文文献批量获取
赵显琼; 唐涛;
北京交通大学轨道交通控制与安全国家重点实验室,北京100044;
CTCS; 时间自动机; 车载系统; UPPAAL; 实时系统; COVER;
机译:CTCS-3车载系统的HAZOP研究
机译:车载系统开发中形式化方法实践的现状与问题
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:UML序列图在CTCS-3车载系统危险识别中的应用
机译:重叠图形分离方法的研究及其在数控程序自动生成系统中的应用
机译:形式化方法在解密离散遗传网络中的应用
机译:CTCs-3车载子系统仿真测试用例生成应用的混合测试方法
机译:区域匹配方法在水下多端口扩散器交互中的应用。
机译:在多应用车载系统中加载应用程序的方法,相应的车载系统以及执行车载系统应用程序的方法
机译:在具有数据处理资源的车载系统中执行的中间目标代码程序的数据压缩方法以及与多种应用相对应的车载系统
机译:包括网络接口装置的车载系统,以及激活在所述车载系统中定位的应用程序的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。