退出
我的积分:
中文文献批量获取
外文文献批量获取
李书浩; 王戟; 齐治昌;
国防科技大学计算机学院;
湖南;
长沙;
410073;
实时系统; 基于模型的测试; 时间自动机; 时序逻辑; Petri net;
机译:卫星运载火箭任务的距离安全实时系统-测试方法
机译:卫星运载火箭任务的距离安全实时系统-测试方法
机译:使用UML,SysML和MARTE的实时系统的基于模型的需求规范
机译:基于模型的控制软件测试实践 - 基于模型的生产自动化中的模型测试方法评估
机译:在基于模型的系统工程方法中,在基于模型的系统工程方法中展示了在基于模型的系统工程方法中展示了在CubeSats中实现的空间情境感知系统中描述的标准方法
机译:一种基于模型的多主体系统测试方法
机译:博弈论的实时系统测试方法
机译:aDa航空电子实时系统模型:实时系统开发中硬件/软件协同设计方法的优势示例
机译:实时系统,实时系统的执行模块执行方法,实时系统的执行模块以及实时系统的记录介质执行代码
机译:图形用户界面的基于模型的测试方法和装置
机译:使用嵌入式模型的基于模型的测试方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。