吴限德, 孙兆伟, 张世杰. Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model[J]. Journal of jiangsu University(Natural Science Edition), 2009, 30(4).
DOI:
吴限德, 孙兆伟, 张世杰. Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model[J]. Journal of jiangsu University(Natural Science Edition), 2009, 30(4).DOI: 10.3969/j.issn.1671-7775.2009.04.017.
Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model