Sean R. Travis

According to our database, Sean R. Travis authored at least 2 papers between 2001 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

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

Proceedings of the Computer Safety, 2003

2001

Tool Support for Production Use of Formal Techniques.

John C. Knight, Kimberly S. Hanks, Sean R. Travis

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001