退出
我的积分:
中文文献批量获取
外文文献批量获取
谢雨飞; 唐涛; 徐田华; 赵林;
北京交通大学轨道交通控制与安全国家重点实验室,北京100044;
CTCS-3级列控系统; 系统规范; 建模; 形式化验证;
机译:面向基于观察者的形式化验证的定时UML标记规范的转换方法
机译:通过规范自动生成的属性对协议转换器进行形式化验证的方法
机译:中国铁路CTCS-3列控系统车载设备互通性测试方法研究
机译:一种解释性的混合方法研究,涉及三年级,四年级和五年级学生的TAAS阅读TLI分数与校园等级,性别和日常阅读练习时间之间的关系
机译:一种人机交互系统的形式化验证方法
机译:信息系统灾难恢复危急成功因素及实用方法研究:确保信息系统接口规范建模的业务连续性
机译:综合核和常规战区作战模拟(INWaRs)III级规范。第二卷。地面作战建模
机译:用于系统级体系结构综合的异步功能规范的建模和处理方法
机译:一种用于系统级体系结构综合的异步功能规范的建模和处理方法
机译:一种用于系统级体系结构的异步功能规范的建模和处理的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。