Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety

Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Fingerprint Dive into the research topics of 'Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety'. Together they form a unique fingerprint.

Engineering & Materials Science