David Kendall (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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)
5		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
4		Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes: A Formal Design and Implementation Method for Real-Time Embedded Systems. EUROMICRO 1996: 77-
3		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
2		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246

Selection of 6 from 7 records - David Kendall has 4 coauthors