Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams
复制标题
使用差分决策图验证 SpecC 描述中的同步
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
T.Sakunkonchak;M.Fujita
并发编程：Java 编程语言
DOI：
10.12694/scpe.v4i2.230
发表时间：
2001
期刊：
Scalable Computing : Practice and Experience
影响因子：
--
作者：
G. Gagne
通讯作者：
G. Gagne
标准 SpecC 语言
DOI：
10.1145/500001.500019
发表时间：
2001
期刊：
International Symposium on System Synthesis (IEEE Cat. No.01EX526)
影响因子：
--
作者：
M. Fujita;Hiroshi Nakamura
通讯作者：
Hiroshi Nakamura
DOI：
--
发表时间：
1991
期刊：
影响因子：
--
作者：
G. Andrews
通讯作者：
G. Andrews