Formal Modeling and Analysis of Medical Systems
医疗系统的形式化建模与分析
期刊:Advanced Science
影响因子:14.1
doi:10.1002/advs.202304022
Lee, Hwan-Young; Gu, Minbon; Hwang, Jeonghee; Hwang, Hyerim; Kim, Young-Seok; Lee, Su Yeon; Kim, Shin-Hyun; Zarneshan, Mahsa; Ghassemi, Fatemeh; Sirjani, Marjan