Safety-critical Medical Device Development using the UPP2SF Model Translation Tool
| Title | Safety-critical Medical Device Development using the UPP2SF Model Translation Tool |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | M. Pajic, Z. Jiang, O. Sokolsky, I. Lee, R. Mangharam |
| Journal | ACM Transactions on Embedded Computing |
| Volume | 13},foo number = {4s |
| Keywords | 1035715 |
| Citation Key | pajic14-upp2sf |