Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Formal Methods Approach to Medical Device Review.

R. Jetley, S. Iyer, und P. Jones. IEEE Computer, 39 (4): 61-67 (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Raoul Schoenhof

Towards Legal Knowledge Representation System Leveraging RDFR. Schoenhof, A. Tenschert, und A. Cheptsov. Eigth International Conference on Advances in Semantic Processing 2014 (SEMAPRO 2014), Seite 13-16. (August 2014)

Raoul Schönhof

Towards Legal Knowledge Representation System Leveraging RDF.R. Schönhof, A. Tenschert, und A. Cheptsov. SEMAPRO conference, (2014)

Raoul Laribi University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Using Abstraction-driven Slicing for Postmortem Analysis of Software.R. Jetley, Y. Zhang, und S. Iyer. ICPC, Seite 107-116. IEEE Computer Society, (2006)Medical Software - Issues and Best Practices.R. Jetley, S. Sudarsan, S. R., und S. Ramaswamy. ICDCIT, Volume 7753 von Lecture Notes in Computer Science, Seite 69-91. Springer, (2013)Demonstration of a medical device integration and coordination framework.A. King, S. Procter, D. Andresen, J. Hatcliff, S. Warren, W. Spees, R. Jetley, P. Jones, und S. Weininger. ICSE Companion, Seite 433-434. IEEE, (2009)A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.R. Jetley, C. Carlos, und S. Iyer. STTT, 5 (4): 320-330 (2004)Towards Requirements Change Decision Support.S. Ghosh, S. Ramaswamy, und R. Jetley. APSEC (1), Seite 148-155. IEEE Computer Society, (2013)978-1-4799-2143-0.A Formal Approach to Pre-Market Review for Medical Device Software.R. Jetley, S. Iyer, P. Jones, und W. Spees. COMPSAC (1), Seite 169-177. IEEE Computer Society, (2006)An approach for comparison of IEC 61131-3 graphical programs.R. Jetley, A. Rath, V. Aparajithan, D. Kumar, V. Prasad, und S. Ramaswamy. ETFA, Seite 1-8. IEEE, (2013)Engineering high confidence medical device software.A. Ray, R. Jetley, und P. Jones. SIGBED Review, 6 (2): 1 (2009)A publish-subscribe architecture and component-based programming model for medical device interoperability.A. King, S. Procter, D. Andresen, J. Hatcliff, S. Warren, W. Spees, R. Jetley, P. Jones, und S. Weininger. SIGBED Review, 6 (2): 7 (2009)Discovering likely mappings between APIs using text mining.R. Pandita, R. Jetley, S. Sudarsan, und L. Williams. SCAM, Seite 231-240. IEEE Computer Society, (2015)