Computer programs; Department of Defense; Interfaces; Man machine systems; Menu; Test and evaluation; Transmittance; Computer program documentation; Programming manuals; Computer communications; Information exchange; Computer operators; Conformity;
机译:用于自动测试Lotos中指定的通信协议,软件和系统的数据流方面的正式方法
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:基于仿真的可靠嵌入式系统通信协议测试
机译:底层通信协议一致性测试的测试覆盖率可视化
机译:用于测试通信协议系统安全性的正式方法和工具。
机译:基准测试国防部数字成像网络-图像归档和通信系统的建议
机译:国防部图片存档和通信系统验收测试:结果和问题组件的标识
机译:国防通信局上层协议测试系统传输控制协议/互联网协议(紧耦合)测试可追溯性指数