Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Monograph

Akehurst, David H. and Bowman, Howard and Bryans, Jeremy and Derrick, John (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report. n/a (Full text available)
[img]
Preview

Pearson, Justin and Bryans, Jeremy (1998) Constraint Oriented Specification with CSP and Real Time Temporal Logic. Technical report. University of Kent (Full text available)
[img]
Preview
[img]
Preview

Research report (external)

King, Andy and Bryans, Jeremy (1998) Using Probability to Reason about Soft Deadlines. University of Kent, School of Computing, 7 pp. (Full text available)
[img]
Preview

This list was generated on Wed Apr 16 11:26:14 2014 BST.