J4 ›› 2000, Vol. 22 ›› Issue (2): 46-48.
• 论文 • 上一篇 下一篇
胡成军 王戟
出版日期:
发布日期:
Online:
Published:
胡成军 王戟. 实时系统的形式化验证[J]. J4, 2000, 22(2): 46-48.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2000/V22/I2/46
