Document Type

Technical Report

Subject Area

CPS Medical

Date of this Version

5-6-2015

Bib Tex

@article{abstree,

Title={Abstraction-Tree For Closed-loop Model Checking of Medical Devices},

Author={Z. Jiang, H. Abbas, P.J. Mosterman, R. Mangharam},

Journal={Tech Report, University of Pennsylvania},

Year={2016}

}

Previous Versions

May 9 2015

Share

COinS
 

Date Posted: 04 May 2015