Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/56679
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?
URI: http://hdl.handle.net/10397/56679
Appears in Collections:Conference Paper

Show full item record

Page view(s)

25
Last Week
4
Last month
Checked on Sep 18, 2017

Google ScholarTM

Check



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