Stacy D. Nelson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

3 Stacy D. Nelson, Johann Schumann: What Makes a Code Review Trustworthy? HICSS 2004

2002

2 Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67

1 Johann Schumann, Stacy D. Nelson: Toward V&V of neural network based controllers. WOSS 2002: 67-72

	2004
3		Stacy D. Nelson, Johann Schumann: What Makes a Code Review Trustworthy? HICSS 2004
	2002
2		Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67
1		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

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page