Abstraction

心脏消融临床辅助系统
对疑似心脏病情的迭代枚举与更新，可提高消融手术的严谨性与效率。
江智浩, Guangyao Chen, Yining She, Renzhi Tang, Zeyu Li
心脏消融临床辅助系统
信息物理系统的闭环模型检测
在环境高度多变的情形下，用形式化方法评估信息物理系统（CPS）的安全性。
江智浩, Guangyao Chen, Yining She, Haochen Yang
信息物理系统的闭环模型检测