Conceptual model elements; Military; Object constraint language;
机译:基于功能和约束的概念设计支持使用易于交换,可重用的原理解决方案元素
机译:通过概念性策略建模将叙事场景文本和正式策略建模联系起来
机译:用GLUE和形式贝叶斯方法模拟的概念水文模型的参数和建模不确定性
机译:军事概念模型元素的正式约束研究
机译:复杂机电系统功能建模和概念设计的形式化方法。
机译:基于患者的病历的概念数据模型的形式表示。
机译:入侵团队体育正式模型的结构要素团队体育和入侵的正式模型的结构要素入侵团队体育正式模型的结构要素