Items where Author is "Bradley, Steven"

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

Bradley, Steven, Henderson, William and Kendall, David (1999) Reducing conservatism in response time analysis of distributed systems. IEE Colloquium (Digest) (6). pp. 25-28. 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

Conference or Workshop Item

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.