Command and control systems ; Linguistics ; Interoperability ; Models ; Grammars ; Semantics ; Hierarchies ; Doctrine ; Robotics ; Symposia ; Methodology ; Theory;
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:使用形式化模型改进的电信系统的系统级设计:在实践中应用B方法/语言
机译:军事模拟系统与指挥与控制系统互操作性专刊的序言
机译:网络可互操作的实时信息服务,作为命令和控制系统可互操作连接的部分解决方案
机译:指挥与控制问题:评估跨国军事任务组中的全球互操作性。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:展示无人机地面系统与指挥控制系统之间的互操作性
机译:军事指挥官决策支持系统中的正式“系统语言”