Visible to the public Biblio

Filters: Author is Mangharam, R.  [Clear All Filters]
Pajic, M., Mangharam, R., Sokolsky, O., others.  2014.  Model-Driven Safety Analysis of Closed-Loop Medical Systems. IEEE Transactions on Industrial Informatics. 10:3–16.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.