![]() | ![]() |
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 |
1 | Charles Pecheur | [2] |
2 | Johann Schumann | [1] [3] |