From offline toward real time: A hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations

Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu

Research output: Journal article publicationJournal articleAcademic researchpeer-review

36 Citations (Scopus)

Fingerprint

Dive into the research topics of 'From offline toward real time: A hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations'. Together they form a unique fingerprint.

Keyphrases

Computer Science