Search the dblp DataBase
David Kendall: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes
A Formal Design and Implementation Method for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
EUROMICRO, 1996, pp:77-0 [Conf] - Steven Bradley, William Henderson, David Kendall, Adrian Robson
Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP]
FASE, 1998, pp:54-70 [Conf] - Steven Bradley, William Henderson, David Kendall, Adrian Robson
Designing and Implementing Correct Real-Time Systems. [Citation Graph (0, 0)][DBLP]
FTRTFT, 1994, pp:228-246 [Conf] - David Kendall
Some Data-Analytic Problems in Archaeology and History. [Citation Graph (0, 0)][DBLP]
IFIP Congress (2), 1971, pp:1371-1376 [Conf] - Steven Bradley, William Henderson, David Kendall, Adrian Robson
Validation, verification and implementation of timed protocols using AORTA. [Citation Graph (0, 0)][DBLP]
PSTV, 1995, pp:205-220 [Conf] - William Henderson, David Kendall, Adrian Robson
Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter. [Citation Graph (0, 0)][DBLP]
Real-Time Systems, 2001, v:20, n:1, pp:5-25 [Journal] - Steven Bradley, William Henderson, David Kendall, Adrian Robson
A formal design language for real-time systems with data. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 2001, v:40, n:1, pp:3-29 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002