CMPNs; Model-based testing; Petri Nets; Scenario-based Testing; Software Testing;
机译:模块化Petri网,用于道路交通信号网络的建模和场景分析
机译:基于Petri网的自然语言需求描述生成测试场景
机译:在真实网络场景中对应用进行基于模型的测试
机译:使用基于场景和基于约束的模块化Petri网的模型测试
机译:将核心方案模型和活动图转换为Petri网。
机译:基于模型的前庭传入刺激:用于分析患者特定和统计的前庭解剖中的刺激方案的模块化工作流
机译:Petri网中计算不变性的优化,支持集成测试方案的创建