机译:铁路信号通信协议验证与一致性测试工具的开发
verification; lts (labeled transition system); conforming testing; railway signaling protocol; uio;
机译:铁路信号系统通信协议的验证和一致性测试生成
机译:铁路信号系统通信协议性能评估与验证
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:使用μJava工具得出电信协议的一致性测试
机译:通信协议一致性测试中的时序和可控性问题。
机译:一种数字通讯帮助工具(DCAT)可从外语患者那里获得病史:在难民基本医疗保健中心进行的开发和试点测试
机译:具有常用输入的一组DFSMS建模的通信协议的一致性测试