Compositional verification of a medical device system
| Title | Compositional verification of a medical device system |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Anitha Murugesan, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl |
| Conference Name | Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013 |
| Keywords | 1035715 |
| DOI | 10.1145/2527269.2527272 |
| Citation Key | MurugesanWRH13 |