Searching for authors named "Steven Bradley" – sorted by Relevance.
-
An Implementable Formal Language for Hard Real-Time Systems
- An Implementable Formal Language for Hard Real-Time Systems Steven Bradley September 1995 Abstract
- Cited by 1 (1 self) – Add To MetaCart
-
Formal Methods and Tool Support for Real-Time
- Formal Methods and Tool Support for Real-Time Steven Bradley Dept of Computer Science, University
- Add To MetaCart
-
Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems
- USING TIMED AUTOMATA FOR RESPONSE TIME ANALYSIS OF DISTRIBUTED REAL-TIME SYSTEMS Steven Bradley
- Cited by 5 (0 self) – Add To MetaCart
-
An Application Oriented Real-Time Algebra
- An Application Oriented Real-Time Algebra Steven Bradley William Henderson David Kendall Adrian
- Cited by 1 (1 self) – Add To MetaCart
-
Designing and Implementing Correct Real-Time Systems
- Designing and Implementing Correct Real-Time Systems Steven Bradley, William Henderson, David
- Cited by 2 (2 self) – Add To MetaCart
-
Integrating AORTA with Model-Based Data Specification Languages
- Integrating AORTA with Model-Based Data Specification Languages Steven Bradley , William
- Cited by 2 (1 self) – Add To MetaCart
-
Reducing Conservatism in Response Time Analysis of Distributed Systems
- 1 Reducing Conservatism in Response Time Analysis of Distributed Systems Steven Bradley, William
- Cited by 1 (0 self) – Add To MetaCart
-
Validation, Verification and Implementation of Timed Protocols Using AORTA
- Validation, Verification and Implementation of Timed Protocols using AORTA Steven Bradley William
- Cited by 4 (2 self) – Add To MetaCart
-
Using Model Checking for Pre-Planning Analysis
- Using Model Checking for Pre-Planning Analysis Maria Fox, Derek Long, Steven Bradley and James Mc
- Cited by 4 (1 self) – Add To MetaCart
-
A Formal Design and Implementation Method for Real-Time Embedded Systems
- A Formal Design and Implementation Method For Real-Time Embedded Systems Steven Bradley William
- Cited by 2 (2 self) – Add To MetaCart

