Visible to the public Biblio

Filters: Author is Z. Fu  [Clear All Filters]
Conference Paper
Z. Fu, C. Guo, S. Ren, Y. Jiang, L. Sha.  2017.  Modeling and integrating physical environment assumptions in medical cyber-physical system design. Design, Automation Test in Europe Conference Exhibition (DATE), 2017. :1615-1618.
C. Guo, Z. Fu, S. Ren, Y. Jiang, L. Sha.  2017.  Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 01:760-765.