Cited By
View all- Pajic MJiang ZLee ISokolsky OMangharam R(2014)Safety-critical medical device development using the UPP2SF model translation toolACM Transactions on Embedded Computing Systems10.1145/258465113:4s(1-26)Online publication date: 1-Apr-2014