Skip to main navigation Skip to search Skip to main content

From offline toward real-time: A hybrid systems model checking and CPS co-design approach for Medical Device Plug-and-Play (MDPnP)

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

25   Link opens in a new tab Citations (Scopus)

Fingerprint

Dive into the research topics of 'From offline toward real-time: A hybrid systems model checking and CPS co-design approach for Medical Device Plug-and-Play (MDPnP)'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases