Computer program documentation; Computer programs; Department of Defense; Indexes; Scenarios; Test and evaluation; Transmittance; Computer communications; Information exchange; Conformity;
机译:用于自动测试Lotos中指定的通信协议,软件和系统的数据流方面的正式方法
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:基于仿真的可靠嵌入式系统通信协议测试
机译:底层通信协议一致性测试的测试覆盖率可视化
机译:通信协议一致性测试中的时序和可控性问题。
机译:关注的表达:一项缔群随机对照试验的议定书赋予授权干预以防止上部小学青少年中上部小学青少年的性侵犯肯尼亚
机译:在测试陆军通信协议中使用半控制接口:在Mil-Std 188-220b中的应用
机译:国防通信局上层协议测试系统传输控制协议/互联网协议(紧耦合)测试可追溯性指数