| 2001 |
|---|
| 7 | | William Henderson,
David Kendall,
Adrian Robson:
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter.
Real-Time Systems 20(1): 5-25 (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) |
| 1998 |
|---|
| 5 | EE | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Integrating AORTA with Model-Based Data Specification Languages.
FASE 1998: 54-70 |
| 1996 |
|---|
| 4 | 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 |
|---|
| 3 | | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Validation, verification and implementation of timed protocols using AORTA.
PSTV 1995: 205-220 |
| 2 | | Bill Murray,
Adrian Robson:
On Behavior, Inheritance, and Evolution.
JOOP 8(5): 38-42 (1995) |
| 1994 |
|---|
| 1 | | Steven Bradley,
William Henderson,
David Kendall,
Adrian Robson:
Designing and Implementing Correct Real-Time Systems.
FTRTFT 1994: 228-246 |
