cyber-physical systems; formal models; industrial automation systems; net condition/event systems; software testing;
机译:一个用于建模和测试复杂软件系统的正式抽象框架
机译:推进测试自动化技术以应对基于模型的软件测试的挑战-客座编辑介绍了第三届IEEE国际软件测试自动化研讨会(AST 2008)的特殊部分
机译:用于测试和验证网络物理系统的正式要求调试
机译:网络物理自动化系统测试软件的正式建模
机译:从形式需求分析到网络物理系统的测试和监视
机译:用于网络物理自动化系统的集成仿真模块
机译:一个用于建模和测试复杂软件系统的正式抽象框架