Shaoying Liu: "A Simulation Approach to Verification and Validation of Formal Specifications"Proceedings of First International Conference on Cyber World : Theory and Practice, IEEE. November. 113-120 (2002)
Shaoying Liu: "A Simulation Approach to Verification and Validation of Formal Specifications"Proceedings of First International Conference on Cyber World : Theory and Practice, IEEE. November. 113-120 (2002)
复制标题
刘绍英：“形式化规范的验证和确认的模拟方法”第一届网络世界国际会议论文集：理论与实践，IEEE。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
