退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
Amer, Hoda;
Carleton University (Canada);
机译:具有应用条件的三重图文法的模型转换的形式规范
机译:使用基于搜索的技术来测试通过图形转换指定的可执行软件模型
机译:从UML模型生成可验证的Lotos规范:基于图形的方法
机译:应用UML性能概要文件:基于图形语法的UML规范对LQN模型的推导
机译:从UML模型到LQN性能模型的基于XMI的转换。
机译:图文法的多尺度建模方法
机译:1使用UmL性能配置文件:基于图形语法从UmL规范推导LQN模型
机译:在基于图的技术中使用特定属性和图文法进行特征识别的方法
机译:通过权威模型的转换对系统行为进行建模的技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。