Test case generation method based on colored Petri net and its application in OnBoard-Trackside communication of CTCS-3
ZHAO Tianshi
Machine-generated Keywords：
Publication Date：2018-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：7( 97-103 )