| |
| 1991 | ||
|---|---|---|
| 2 | EE | Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart: Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Trans. Software Eng. 17(3): 241-258 (1991) |
| 1989 | ||
| 1 | Matthew S. Jaffe, Nancy G. Leveson: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification. ICSE 1989: 302-311 | |
| 1 | Mats Per Erik Heimdahl | [2] |
| 2 | Nancy G. Leveson | [1] [2] |
| 3 | Bonnie E. Melhart | [2] |