...
机译:用于检查医疗保健工作流程的模型的用户友好工具
Workflow modellingUser-friendly verificationModel checkingModel-driven engineering;
机译:使用合金模型检查医疗保健工作流程
机译:用于集水模拟的用户友好的工作流程:迈向可重复的SWAT +模型研究
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:基于模型的开发中的用户友好模型检查集成
机译:一个用户友好的 地下水 建模工具 ,告知 在亚利桑那州 , 索诺拉 跨界含水层 决策
机译:集群流程:用户友好的生物信息学工作流程工具
机译:用于检查医疗保健工作流程的模型的用户友好工具
机译:CUTE和jCUTE:Concoic单元测试和显式路径模型检查工具(工具文件)