退出
我的积分:
中文文献批量获取
外文文献批量获取
何红悦; 王智学; 董庆超; 张力;
中国电子学会;
行为语义检查; 统一建模语言; 查询语句; 活动图;
机译:使用CSP检查fUML模型行为的集成框架
机译:具有行为模型生成功能的Simulink / UML模型转换工具
机译:具有行为模型生成功能的Simulink-UML模型转换工具
机译:通过基于跟踪的语义检查UML-RT模型的行为一致性
机译:连续语义检查。
机译:日本流行病学研究中心抑郁症的语义检查:使用混合方法的警示分析
机译:p3p站点行为语义检查器
机译:认知与认知 - 行为离婚 - 育儿计划对父母冲突,亲密暴力,父母交流,离婚相关父母行为和儿童行为问题的影响
机译:从多个版本的UML模型或从多个版本的UML模型创建的XML模式生成XSLT文档的方法
机译:根据UML模型的更新的XML表示对存储库中的UML模型进行版本控制的方法
机译:同步的语义检查:通过习得性强加关系的序号约束
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。