机译:基于UML图的WS-CDL模型和验证
机译:使用π微积分进行WS-CDL编排的形式化建模和验证
机译:基于逻辑的UML定时模型验证方法
机译:基于UML模型的数据丰富的模型和验证WS-CDL
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:基于模型的图形编辑器,用于支持OntoUML概念模型的创建,验证和确认
机译:在基于模型的开发(mBD)中使用统一建模语言(UmL)用于安全关键应用。