Formal Verification of Hardware/Software Co-designs with Translation into Representations in State Transitions
Formal Verification of Hardware/Software Co-designs with Translation into Representations in State Transitions
复制标题
硬件/软件协同设计的形式化验证以及状态转换中的表示形式的转换
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
M.Fujita
中科院分区：
文献类型：
--
作者：
T.Nishihara;Matsumoto;S. T.Komatsu;M.Fujita
登录
查看更多内容
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
D. Gajski;N. Dutt;Allen C.
通讯作者：
Allen C.
日本医疗体系与法国比较的思考（6）
DOI：
--
发表时间：
2008
期刊：
社会保険旬報 2008年11月1日号
影响因子：
--
作者：
姫野順一;北川勝彦;高橋泰
通讯作者：
高橋泰
面向对象应用框架中实时嵌入式软件的形式化验证
DOI：
10.1049/ip-cdt:20041102
发表时间：
2004
期刊：
--
影响因子：
--
作者：
Pao;Trong;Jih;Win
通讯作者：
Win
LusSy：用于在事务级别分析片上系统的工具箱
DOI：
10.1109/acsd.2005.23
发表时间：
2005
期刊：
Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
影响因子：
--
作者：
M. Moy;F. Maraninchi;L. Maillet
通讯作者：
L. Maillet