Stacy D. Nelson

2004
3	EE	Stacy D. Nelson, Johann Schumann: What Makes a Code Review Trustworthy? HICSS 2004
2002
2	EE	Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67
1	EE	Johann Schumann, Stacy D. Nelson: Toward V&V of neural network based controllers. WOSS 2002: 67-72

Coauthor Index

1	Charles Pecheur	[2]
2	Johann Schumann	[1] [3]

Colors in the list of coauthors