UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25

Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha
June 2020
Type
Conference paper