Department of Computer Software, Daelim University, South Korea;
Department of Computer Science, Kyonggi University, South Korea;
Department of Computer Science, Kyonggi University, South Korea;
Department of Computer Science, Kyonggi University, South Korea;
机译:基于开放工作流网络建模的Web服务组合的CTL模型检查
机译:Amazon Web服务软件开发工作流程中的代码级模型检查
机译:有色Petri Nets根据IHE框架在医疗保健中警报管理工作流程建模
机译:关于Companion Animal Health Check的智能报警服务的IoT感知工作流程模型设计师
机译:利用社区服务的伴侣动物的无家可归者的经验
机译:校正:2010-2012年德国伴侣动物伤口样本中耐甲氧西林金黄色葡萄球菌(MRSA)的惊人比例
机译:使用工作流程模型生成检查符合医疗标准的记录要求