退出
我的积分:
中文文献批量获取
外文文献批量获取
李书浩; 王戟; 齐治昌; 董威;
国防科技大学计算机学院,湖南长沙,410073;
武汉大学软件工程国家重点实验室,湖北武汉,430072;
软件测试; 实时系统; UML Statecharts; 时序逻辑; 测试序列;
机译:一种基于经验的,面向路径的软件分析和测试方法
机译:一种面向服务的软件应用程序在线测试的变态测试方法
机译:一种用于产品线开发的面向功能的单元测试方法
机译:实时系统仿真:一种基于虚拟现实的工具支持的一种面向对象的方法
机译:面向对象的实时系统的软件指标
机译:一种实时系统可在窦性心律和心室纤颤期间选择性地感应和调节His束
机译:POPT:一种面向问题的编程教学和测试方法
机译:Timebench:面向对象的实时系统设计和集成的可视化环境。
机译:使用注释来指定实时系统约束的,用于面向服务的系统的实时动态修改的系统和装置
机译:使用注释指定实时系统约束的,面向服务的系统的实时动态修改
机译:使用注释指定实时系统约束的面向服务系统的实时动态修改的系统和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。