Searching for authors named "Steven Bradley" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
