标签:CNTS

 

EPICS的形式化验证

对于一个大型EPICS控制系统而言,不包括20万行EPICS代码,其它代码规模至少在数万行,甚至更多Read More

EPICS在CNTS(临床中子治疗系统)中的应用

华盛顿大学医学中心(UWMC)的临床中子治疗系统(CNTS)采用基于EPICS的治疗控制程序取代了自Read More