![]() | ![]() |
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] |