一种工作流驱动的形式化方法,用于生成院内患者转移的结构化检查表| IEEE期刊和杂志| IEEE Xplore