1992 | ||
---|---|---|
2 | Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen: A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474 | |
1990 | ||
1 | David Lorge Parnas, A. John van Schouwen, Shu Po Kwan: Evaluation of Safety-Critical Software. Commun. ACM 33(6): 636-648 (1990) |
1 | Marcin Engel | [2] |
2 | Marcin Kubica | [2] |
3 | Shu Po Kwan | [1] |
4 | Jan Madey | [2] |
5 | David Lorge Parnas | [1] [2] |
6 | Anders P. Ravn | [2] |