| |
| 2006 | ||
|---|---|---|
| 3 | EE | Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl: Proving the shalls. STTT 8(4-5): 303-319 (2006) |
| 2003 | ||
| 2 | EE | Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl: Proving the Shalls. FME 2003: 75-93 |
| 2002 | ||
| 1 | EE | Alan C. Tribble: Software Safety. IEEE Software 19(4): 84-85 (2002) |
| 1 | Mats Per Erik Heimdahl | [2] [3] |
| 2 | Steven P. Miller | [2] [3] |
| 3 | Michael W. Whalen | [3] |