Application of Formal Methods in DSS for Equipment Support

• 形式化方法在装备保障决策支持系统中的应用