Clock refinement in imperative synchronous languages
Clock refinement in imperative synchronous languages
复制标题
命令式同步语言中的时钟细化
DOI：
10.1186/1687-3963-2013-3
复制
发表时间：
2013
影响因子：
--
通讯作者：
Schneider
中科院分区：
文献类型：
--
作者：
Gemünde;Brandt;Schneider
登录
查看更多内容
在电路上实现反应式程序：LUSTER 的硬件实现
DOI：
--
发表时间：
1991
期刊：
REX Workshop
影响因子：
--
作者：
Frédéric Rocheteau;N. Halbwachs
通讯作者：
N. Halbwachs
纯 ESTEREL 的硬件实现
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
Gérard Berry
通讯作者：
Gérard Berry
Bluespec：一种用于硬件设计、仿真、综合和验证的语言 特邀演讲
DOI：
--
发表时间：
2003
期刊：
International Conference on Formal Methods and Models for Co-Design
影响因子：
--
作者：
Arvind
通讯作者：
Arvind
DOI：
--
发表时间：
2009
期刊：
2009 Ninth International Conference on Application of Concurrency to System Design
影响因子：
--
作者：
J. Brandt;Mike Gemünde;K. Schneider
通讯作者：
K. Schneider
DOI：
--
发表时间：
1994
期刊：
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
影响因子：
--
作者：
P. R. Menon;Hitesh Ahuja;M. Harihara
通讯作者：
M. Harihara