Petri Net Modeling and Test Case Generation Method of Missile Operation Process

HUANG Yaohua

JPRMG ›› 2019, Vol. 39 ›› Issue (5) : 46-49.

PDF(473 KB)
PDF(473 KB)
JPRMG ›› 2019, Vol. 39 ›› Issue (5) : 46-49. DOI: 10.15892/j.cnki.djzdxb.2019.05.011

Petri Net Modeling and Test Case Generation Method of Missile Operation Process

  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2019, 39(5): 46-49 https://doi.org/10.15892/j.cnki.djzdxb.2019.05.011

References

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(473 KB)

Accesses

Citation

Detail

Sections
Recommended

/