机译:符号概率系统的规范,测试和实现关系
Symbolic-probabilistic finite state machines; Conformance testing; Test derivation and application;
机译:符号概率系统的规范,测试和实现关系
机译:拒绝和离散时间的循环系统的实施关系与测试
机译:具有分布式接口的系统的实现关系和测试生成
机译:使用等效通道概念开发满足碳氢化合物排放法规要求的汽车燃料系统部件的密封性规范及其生产泄漏测试的实施方法
机译:在TROMLAB框架中为实时反应系统基于规范的测试系统的实现。
机译:从线性系统的传递函数规范中合成可配置的生化实现
机译:符号概率系统的规范,测试和实现关系
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范