一种类间交互测试的约束型标记驱动Petri网模型
일충류간교호측시적약속형표기구동Petri망모형
Constraint Label-driven Petri Network Model for Classes Interaction Test
저자의 최근 논문