Login / Signup
Alice T. Lee
Publication Activity (10 Years)
Years Active: 1993-1995
Publications (10 Years): 0
</>
Publications
</>
David Hamilton
,
Richard Covington
,
Alice T. Lee
An experience report on requirements reliability engineering using formal methods.
ISSRE
(1995)
Alice T. Lee
,
Todd R. Gunn
A quantitative risk assessment method for space flight software systems.
ISSRE
(1993)