synthetic environments; verification and validation; consistency checking; compositional checking; semantic checking; HLA/OMT/FOM/SOM; interoperability; CORBA;
机译:通过模型检查验证智能对象之间基于邻近关系的方案及其优势
机译:可视化合成环境数据表示和交换规格数据,以验证大规模合成环境数据
机译:基于正式方法的分布式防火墙和IDS互操作性检查
机译:改善合成环境的验证:HLA联合会的早期互操作性检查的三管齐下方法
机译:一种用于系统联合中改进能力交换的语义互操作性方法
机译:在云环境中基于源的数据完整性检查和验证
机译:1模型检查对互操作性安全策略的验证