机译:基于Time Petri网络模型的实时软件在线测试方法
Hubei Univ Technol Wuhan Hubei Peoples R China;
Hubei Univ Technol Wuhan Hubei Peoples R China;
Huazhong Univ Sci &
Technol Wuhan Hubei Peoples R China;
机译:基于Time Petri网络模型的实时软件在线测试方法
机译:基于时间Petri网的嵌入式硬实时软件综合方法
机译:基于时间Petri网的嵌入式硬实时软件综合方法
机译:通过时间Petri网模型生成实时软件的测试用例
机译:使用时间Petri网对实时系统进行建模和实现。
机译:基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
机译:通过自动化的国家在线测试和旋转模型检查器应用于RTEGGE模型来验证实时嵌入式软件