Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety
| Title | Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, Insup Lee |
| Conference Name | 5$^th$ ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) |
| Date Published | apr |
| Keywords | 1035715 |
| Citation Key | Murugesan:ICCPS2014 |