Please use this identifier to cite or link to this item:
Title: From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP
Authors: Li, TAO
Wang, Q 
Tan, F
Bu, L
Cao, JN 
Liu, X
Wang, Y
Zheng, R
Issue Date: 2011
Source: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP'11), Chicago, USA, April 11, 2011, p. 1-8 How to cite?
Appears in Collections:Conference Paper

Show full item record

Page view(s)

Last Week
Last month
Citations as of Oct 14, 2018

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.