From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
| Title | From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R. |
| Conference Name | Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th |
| Date Published | April |
| Keywords | 1035715 |
| Citation Key | 6200049 |