Safety-critical medical device development using the UPP2SF model translation tool

Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam. Safety-critical medical device development using the UPP2SF model translation tool. ACM Trans. Embedded Comput. Syst., 13(4s), 2014. [doi]

Authors

Miroslav Pajic

This author has not been identified. Look up 'Miroslav Pajic' in Google

Zhihao Jiang

This author has not been identified. Look up 'Zhihao Jiang' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Rahul Mangharam

This author has not been identified. Look up 'Rahul Mangharam' in Google