Adrian Robson

Publication Activity (10 Years)

Years Active: 1994-2001
Publications (10 Years): 0

Publications

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 Syst. 20 (1) (2001)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formal design language for real-time systems with data. Sci. Comput. Program. 40 (1) (2001)
David Kendall, Steven Bradley, William Henderson, Adrian Robson
bCANDLE: Formal Modelling and Analysis of CAN Control Systems. IEEE Real Time Technology and Applications Symposium (1998)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Integrating AORTA with Model-Based Data Specification Languages. FASE (1998)
Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes
A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO (1996)
Bill Murray, Adrian Robson
On Behavior, Inheritance, and Evolution. J. Object Oriented Program. 8 (5) (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Validation, verification and implementation of timed protocols using AORTA. PSTV (1995)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Designing and Implementing Correct Real-Time Systems. FTRTFT (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
Application-oriented real time algebra. Softw. Eng. J. 9 (5) (1994)
Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formally based hard real-time kernel. Microprocess. Microsystems 18 (9) (1994)