| 2001 |
|---|
| 6 | | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
A formal design language for real-time systems with data.
Sci. Comput. Program. 40(1): 3-29 (2001) |
| 2000 |
|---|
| 5 | EE | Elizabeth Burd,
Steven Bradley,
John Davey:
Studying the Process of Software Change: An Analysis of Software Evolution.
WCRE 2000: 232-239 |
| 1998 |
|---|
| 4 | EE | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages.
FASE 1998: 54-70 |
| 1996 |
|---|
| 3 | EE | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson,
Stephen Hawkes:
A Formal Design and Implementation Method for Real-Time Embedded Systems.
EUROMICRO 1996: 77- |
| 1995 |
|---|
| 2 | | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Validation, verification and implementation of timed protocols using AORTA.
PSTV 1995: 205-220 |
| 1994 |
|---|
| 1 | | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Designing and Implementing Correct Real-Time Systems.
FTRTFT 1994: 228-246 |
