多端口有限状态机相关硕士博士期刊学术论文 - 搜论网

多端口有限状态机相关论文

基于全观察者的多输入输出变迁系统拒绝测试研究

拒绝测试(refusal testing)是标号变迁系统LTS测试领域中的一个重要理论。在拒绝测试中,测试者不仅能检测到动作可以发生,而且能检......

学位

一致性测试拒绝测试多输入输出变迁系统多端口有限状态机路由协议测试

看过本文同时还关注