From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP

T.A.O. Li; Qixin Wang; F. Tan; L. Bu; Jiannong Cao; X. Liu; Y. Wang; R. Zheng

From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP

T.A.O. Li, Qixin Wang, F. Tan, L. Bu, Jiannong Cao, X. Liu, Y. Wang, R. Zheng

Research output: Unpublished conference presentation (presented paper, abstract, poster) › Conference presentation (not published in journal/proceeding/book) › Academic research

Original language	English
Pages	1-8
Number of pages	8
Publication status	Published - 2011
Event	Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability - Duration: 1 Jan 2011 → …

Conference

Conference	Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability
Period	1/01/11 → …

Cite this

@conference{29a76656cb364ece98eff7065a12fd8a,

title = "From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP",

author = "T.A.O. Li and Qixin Wang and F. Tan and L. Bu and Jiannong Cao and X. Liu and Y. Wang and R. Zheng",

year = "2011",

language = "English",

pages = "1--8",

note = "Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability ; Conference date: 01-01-2011",

}

From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP. / Li, T.A.O.; Wang, Qixin; Tan, F. et al.
2011. 1-8 Paper presented at Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability.

Research output: Unpublished conference presentation (presented paper, abstract, poster) › Conference presentation (not published in journal/proceeding/book) › Academic research

TY - CONF

T1 - From offline long-run to online short-run : exploring a new approach of hybrid systems model checking for MDPnP

AU - Li, T.A.O.

AU - Wang, Qixin

AU - Tan, F.

AU - Bu, L.

AU - Cao, Jiannong

AU - Liu, X.

AU - Wang, Y.

AU - Zheng, R.

PY - 2011

Y1 - 2011

M3 - Conference presentation (not published in journal/proceeding/book)

SP - 1

EP - 8

T2 - Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability

Y2 - 1 January 2011

ER -