Alice T. Lee

According to our database, Alice T. Lee authored at least 2 papers between 1993 and 1995.

Collaborative distances:

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

1995

An experience report on requirements reliability engineering using formal methods.

David Hamilton, Richard Covington, Alice T. Lee

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1993

A quantitative risk assessment method for space flight software systems.

Alice T. Lee, Todd R. Gunn

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993