PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jetley, Raoul Praful"

Author of the publication

copydeleteadd this publication to your clipboard
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.

, , and . STTT, 5 (4): 320-330 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raoul Schoenhof

Towards Legal Knowledge Representation System Leveraging RDF, , and . Eigth International Conference on Advances in Semantic Processing 2014 (SEMAPRO 2014), page 13-16. (August 2014)

Raoul Schönhof

Towards Legal Knowledge Representation System Leveraging RDF., , and . SEMAPRO conference, (2014)

Raoul Laribi University of Stuttgart

 

Other publications of authors with the same name

Using Abstraction-driven Slicing for Postmortem Analysis of Software., , and . ICPC, page 107-116. IEEE Computer Society, (2006)Medical Software - Issues and Best Practices., , , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 69-91. Springer, (2013)Demonstration of a medical device integration and coordination framework., , , , , , , , and . ICSE Companion, page 433-434. IEEE, (2009)A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm., , and . STTT, 5 (4): 320-330 (2004)Towards Requirements Change Decision Support., , and . APSEC (1), page 148-155. IEEE Computer Society, (2013)978-1-4799-2143-0.A Formal Approach to Pre-Market Review for Medical Device Software., , , and . COMPSAC (1), page 169-177. IEEE Computer Society, (2006)An approach for comparison of IEC 61131-3 graphical programs., , , , , and . ETFA, page 1-8. IEEE, (2013)Engineering high confidence medical device software., , and . SIGBED Review, 6 (2): 1 (2009)A publish-subscribe architecture and component-based programming model for medical device interoperability., , , , , , , , and . SIGBED Review, 6 (2): 7 (2009)Discovering likely mappings between APIs using text mining., , , and . SCAM, page 231-240. IEEE Computer Society, (2015)