退出
我的积分:
中文文献批量获取
外文文献批量获取
周颖; 郑国梁; 李宣东;
南京大学计算机软件新技术国家重点实验室,江苏,南京,210093;
南京大学计算机科学技术系,江苏,南京,210093;
UML; 状态机; 操作语义; Kripke结构; 模型检验;
机译:基于SMT求解器的UML状态机有界模型检验研究。
机译:基于SMT求解器的UML状态机边界模型检验研究。
机译:UML 2.0状态机:通过核心状态机完成完整的形式语义
机译:模型代码对偶性的表现:促进状态机在面向模型的编程语言中的表示。
机译:表示UMLS中语义局部性的面向对象模型
机译:将流程代数模型转换为UmL状态机:弥合语义鸿沟
机译:面向对象语义关联模型(Osam)中的语义查询优化
机译:面向通知范式的Uml配置文件(pon),面向规则范式的uml配置文件(por),面向通知的开发方法(don)和面向规则的开发方法(疼痛)
机译:语音到文本的转换与关键字解析并匹配存储在脑池状态机中的语义和交易概念,使用单词距离来生成多种戏剧性模式下的角色模型交互
机译:提供语义文档模型和语义CAD模型以及推荐CAD模型的方法,提供语义文档模型和推荐CAD模型的装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。