位置：成果数据库 > 期刊 > 期刊详情页
利用UML-RT序列图支持基于事务的
  • 期刊名称：《计算机工程与科学》, vol. 29, no. 3, 2007
  • 时间：0
  • 相关项目：SOC系统级功能验证关键技术研究
作者： 余金山, 谭庆平, 李暾
同期刊论文项目
SOC系统级功能验证关键技术研究
期刊论文 8 会议论文 11
同项目期刊论文
谓词抽象技术研究
基于符号模拟和约束逻辑编程的RT
微处理器体系结构级测试程序自动
基于扩展层次有色Petri网创建SoC
谓词抽象技术及其研究进展
模型检验中抽象技术研究综述
基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法