Searching for authors named "Adrian Robson" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Space Efficient Reachability Analysis for a Value Passing, Timed Process Algebra (Extended Abstract)
- …) David Kendall, William Henderson, and Adrian Robson Department of Computing and Mathematics, University…
- Add To MetaCart
-
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter
- … Tyne, UK ADRIAN ROBSON adrian.robson@(email omitted); School of Computing and Mathematics, University…
- Cited by 4 (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
- … Kendall, Adrian Robson The authors are with the Department of Computing, University of Northumbria…
- Cited by 2 (2 self) – Add To MetaCart
-
Integrating AORTA with Model-Based Data Specification Languages
- … Henderson y , David Kendall y , Adrian Robson y October 20, 1997 Abstract AORTA has been proposed…
- Cited by 2 (1 self) – Add To MetaCart
-
Validation, Verification and Implementation of Timed Protocols Using AORTA
- … Henderson David Kendall Adrian Robson February 15, 1995 Abstract AORTA is an implementable timed process…
- Cited by 4 (2 self) – Add To MetaCart
-
A Formal Design and Implementation Method for Real-Time Embedded Systems
- … Henderson David Kendall Adrian Robson Department of Computing, University of Northumbria at Newcastle, UK…
- Cited by 2 (2 self) – Add To MetaCart
-
A Formally Based Hard Real-Time Kernel
- …A Formally Based Hard Real-Time Kernel Steven Bradley William Henderson David Kendall Adrian Robson…
- Add To MetaCart
Showing 1 through 8.
