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.- Sort by
- Weight
- Alphabetically
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 proceeding › Conference contribution
12
Scopus
citations