Classification; Computer program verification; Ada programming language; Computer programs; Models; Software tools; High level architecture; Information assurance; Code division multiple access; Military doctrine; Kernel functions; Case studies; Communications networks;
机译:使用实际检测到的交通数据在可变消息标志消息下模拟驾驶员的路途转移行为
机译:自适应数据和经过验证的消息不相交的安全路由,用于在能量收集网络中收集大数据
机译:蠕虫路由网络中路由的消息流模型
机译:验证Dryden湍流模型和MIL-F-8785阵风梯度的实现
机译:路由器策略的分层形式建模和验证,以及对思科路由器配置的应用案例研究
机译:高表面积铜箔上生长α-FeOOH/ NH2-Mil-101膜的新合成途径电极
机译:无可否认的洋葱路由协议,具有消息创建时间验证