| |
| 2003 | ||
|---|---|---|
| 3 | EE | Divya Prasad, Alan Burns, Martin C. Atkins: The Valid Use of Utility in Adaptive Real-Time Systems. Real-Time Systems 25(2-3): 277-296 (2003) |
| 1996 | ||
| 2 | EE | Mark Nicholson, Divya Prasad: Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. ICECCS 1996: 522- |
| 1991 | ||
| 1 | Dave Neilson, Divya Prasad: zedB: A Proof Tool for Z Built on B. Z User Workshop 1991: 243-258 | |
| 1 | Martin C. Atkins | [3] |
| 2 | Alan Burns | [3] |
| 3 | Dave Neilson | [1] |
| 4 | Mark Nicholson | [2] |