|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley |
Safety-assured development of the GPCA infusion pump software.  |
EMSOFT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger |
An open test bed for medical device integration and coordination. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew L. King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger |
Demonstration of a medical device integration and coordination framework. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones |
A Formal Methods Approach to Medical Device Review. |
IEEE Computer |
2006 |
DBLP DOI BibTeX RDF |
Formal methods, Healthcare technology, Medical software, Clinical software engineering |
| 1 | Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones, William Spees |
A Formal Approach to Pre-Market Review for Medical Device Software. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raoul Praful Jetley, Yi Zhang, S. Purushothaman Iyer |
Using Abstraction-driven Slicing for Postmortem Analysis of Software. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer |
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")