退出
我的积分:
中文文献批量获取
外文文献批量获取
邓建波; 张立臣; 邓惠敏; 徐碧红;
广东工业大学;
计算机学院;
广州;
510006;
吉首大学;
数学与计算机科学学院;
湖南;
吉首;
416000;
UML2.0序列图; 形式语义; 组合碎片包; 通信序列进程;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:基于UML序列图的模型驱动测试方法
机译:基于模型的测试用例从UML序列图使用扩展有限状态机
机译:基于基于语义语义学的UML序列图形式化标准
机译:以UML序列图表示的方面的组成。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:形式化UmL 2序列图
机译:消息序列图的通信模型层次结构
机译:连续字符序列图生成程序,信息搜索程序,连续字符序列图生成设备,信息搜索设备,连续字符序列图生成方法和信息搜索方法
机译:序列图创建装置,序列图创建方法和序列图创建程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。