位置：成果数据库 > 期刊 > 期刊详情页
From Algebraic Semantics to Denotational Semantics for Verilog
  • 期刊名称：International Journal of Innovations in Systems an
  • 时间：0
  • 页码：341-360
  • 语言：英文
  • 相关项目：Web事务的模型和语义研究
作者： He Jifeng|Jonathan P. Bowen|Zhu Huibiao|
同期刊论文项目
Web事务的模型和语义研究
期刊论文 7 会议论文 23
同项目期刊论文
Linking Denotational Semantics with Operational Semantics for Web Services
基于SSL提高网上安全交易性能的研究
Performance improvement of software component with partial evaluation
Research and implementation on multi-dimension trust evaluation method with web service
基于分层Petri网的仓储管理建模与验证