Steven Bradley

	2001
7		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)
	2000
6		Elizabeth Burd, Steven Bradley, John Davey: Studying the Process of Software Change: An Analysis of Software Evolution. WCRE 2000: 232-239
	1998
5		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
4		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: 171-
	1996
3		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
2		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
	1994
1		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246

Coauthor Index

1	Elizabeth Burd (Liz Burd)	[6]
2	John Davey	[6]
3	Stephen Hawkes	[3]
4	William Henderson	[1] [2] [3] [4] [5] [7]
5	David Kendall	[1] [2] [3] [4] [5] [7]
6	Adrian Robson	[1] [2] [3] [4] [5] [7]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page