退出
我的积分:
中文文献批量获取
外文文献批量获取
刘晓建; 李战怀;
山东省科学院自动化研究所;
西北工业大学计算机学院;
UML状态图; 完备性; 一致性; 扩展的层次自动机;
机译:通过扩展的无上下文语法对UML状态图进行基于模型的测试
机译:基于扩展UML状态图和概率模型检查的系统定量分析
机译:将UML状态图表示法扩展为对安全性进行建模
机译:通过扩展的无上下文语法对UML状态图进行一致性检查和测试生成
机译:基于UML状态图的面向对象程序的测试用例生成研究。
机译:基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
机译:UmL RT模型有界性的可扩展不完备检验
机译:走向自动机的同调代数I:1。抽象自动机类别的表示和完备性定理
机译:基于网络建模,在自动机网络中自动生成嵌入式分布式控制应用程序,使用功能的UML建模和数据通信来驱动自动代码生成器
机译:基于通用建模语言(UML),元对象工具(MOF)和可扩展标记语言(XML)标准的用于实现可扩展数据交换的元数据驱动系统
机译:将基于RSM的元模型的UML呈现转换为基于MOF的元模型的UML呈现的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。