Login / Signup
Stacy D. Nelson
Publication Activity (10 Years)
Years Active: 2002-2004
Publications (10 Years): 0
</>
Publications
</>
Stacy D. Nelson
,
Johann Schumann
What Makes a Code Review Trustworthy?
HICSS
(2004)
Stacy D. Nelson
,
Charles Pecheur
Formal Verification for a Next-Generation Space Shuttle.
FAABS
(2002)
Johann Schumann
,
Stacy D. Nelson
Toward V&V of neural network based controllers.
WOSS
(2002)