Hierarchical multi-formalism proofs of cyber-physical systems
| Title | Hierarchical multi-formalism proofs of cyber-physical systems |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee |
| Conference Name | 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015 |
| Keywords | 1035715 |
| DOI | 10.1109/MEMCOD.2015.7340474 |
| Citation Key | WhalenRGMSHL15 |