Items where Author is "Robson, Adrian"
![]() | Up a level |
Article
Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (2001) Formal design language for real-time systems with data. Science of Computer Programming, 40 (1). pp. 3-29. ISSN 0167-6423
Henderson, William, Kendall, David and Robson, Adrian (2001) Improving the accuracy of scheduling analysis applied to distributed systems. Real-Time Systems, 20 (1). pp. 5-25. ISSN 0922 6443
Kendall, David, Henderson, William and Robson, Adrian (1999) Using sharing trees in the automated analysis of real-time systems with data. IEE Colloquium (Digest) (6). pp. 21-24. ISSN 0963-3308
Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) A formally based hard real-time kernel. Microprocessors and Microsystems, 18 (9). pp. 513-521. ISSN 0141-9331
Robson, Adrian and Henderson, William (1993) Data flow model for the implementation of real-time programs on simple target machines. Information and Software Technology, 35 (1). pp. 3-16. ISSN 0950-5849
Conference or Workshop Item
Henderson, William, Kendall, David and Robson, Adrian (2000) Accounting for clock frequency variation in the analysis of distributed factory control systems. In: 2000 IEEE International Workshop on Factory Communication Systems, 6-8 Spetember 2000, Torino.
Kendall, David, Henderson, William and Robson, Adrian (1998) Modelling and analysis of broadcasting embedded control systems. In: IEE Colloquium on Real-Time Systems (Digest No. 1998/306), 21 April 1998, York.
Kendall, David, Bradley, Steven, Henderson, William and Robson, Adrian (1998) bCANDLE: Formal modelling and analysis of CAN control systems. In: Fourth IEEE Real-Time Technology and Applications Symposium, 3-5 June 1998, Denver, CO.
Bradley, Steven, Henderson, William, Kendall, David and Robson, Adrian (1994) Practical formal development of real time systems. In: RTOSS '94: 11th IEEE Workshop on Real-Time Operating Systems and Software, 18-19 May 1994, Seattle.