Technische Universitaet Muenchen, Germany;
Queen's University, Kingston, Ontario, Canada;
IBM Research, Israel;
Technische Universitaet Braunschweig, Germany;
IBM Rational Software, Canada;
机译:利用UMLS语义检查UMLS概念之间的语义一致性
机译:使用Snomed CT语义标记验证UMLS语义类型分配
机译:基于制度理论的UML 2.0活动图形式化语义
机译:审核UMLS语义网络中的顶级语义类型对UMLS概念的分配
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:统一医学语言系统。 Umls语义网络:UMLS语义网络
机译:第二届UmL 2语义学术研讨会:UmL的形式语义