Steven Bradley (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

4 Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70

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-

2 Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220

1 Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246

Selection of 5 from 6 records - Steven Bradley has 6 coauthors

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)
4		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Integrating AORTA with Model-Based Data Specification Languages. FASE 1998: 54-70
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-
2		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Validation, verification and implementation of timed protocols using AORTA. PSTV 1995: 205-220
1		Steven Bradley, William Henderson, David Kendall, Adrian Robson: Designing and Implementing Correct Real-Time Systems. FTRTFT 1994: 228-246