机译:确定性流X机规范的统一集成和组件测试方法
Univ Bucharest, Dept Comp Sci, Str Acad 14,Sect 1, Bucharest 010014, Romania;
Univ Sheffield, Int Fac, CITY Coll, Dept Comp Sci, Leontos Sofou 3, Thessaloniki 54626, Greece;
Model based testing; Test generation; Formal specifications; Stream X-machines; Extended finite state machines;
机译:针对不可控制的非确定性流X机测试确定性实现
机译:针对非确定性流X机测试确定性实现的一致性
机译:完整的确定性流X机测试
机译:一个创新的平台,在统一的方法中集成了确定性和概率性工具,用于电力系统安全评估
机译:集成了并发控制和代理执行支持,并为KURT-Linux组调度模型下的确定性并发测试提供了框架。
机译:高校饮酒的系统方法:测试酒精控制政策的确定性模型的开发
机译:针对不可控制的非确定性流X机测试确定性实现