A model for concurrent states and its coverage criteria, First International Workshop on Autonomous Embedded Systems and Netwoingr(AESN2009)
A model for concurrent states and its coverage criteria, First International Workshop on Autonomous Embedded Systems and Netwoingr(AESN2009)
复制标题
并发状态模型及其覆盖标准,第一届自治嵌入式系统和网络国际研讨会(AESN2009)
DOI:
--
复制
发表时间:
2009
期刊:
影响因子:
--
通讯作者:
Yoshiaki Kakuda
中科院分区:
文献类型:
--
作者:
Hideharu Kojima;Juichi Takahashi;Tomoyuki Ohta;Yoshiaki Kakuda