Sean R. Travis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2001–2003
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SAFECOMP | Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development. | Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis |
| 2001 | ISSRE | Tool Support for Production Use of Formal Techniques. | John C. Knight, Kimberly S. Hanks, Sean R. Travis |