1. Newcastle University eTheses

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 131-140 of 589 (Search time: 0.0 seconds).
Item hits:
Issue DateTitleAuthor(s)
2006Evaluation and development models for business processesAl-Humaidan, Fahad Mohammed
2007Modelling bacterial regulatory networks with Petri netsShaw, Oliver James
2006Scalable Internet auctionsKhayyambashi, Mohammad-Reza
2007Dependable compositions: a formal approachJefferson, Nigel Patrick.
2001An investigation of collocation algorithms for solving boundary value problems system of ODEsHermansyah, Edy
2009Towards certifiable reconfigurable real-time mission critical software systemsWilkinson, Richard Alexander
2004Contract representation for validation and run time monitoringSolaiman, Ellis
2006The effect of diverse development goals on computer-based system dependabilityLawrie, Anthony Thomas
2005Design and evaluation of crash tolerant protocols for mobile ad-hoc networksVollset, Einar Wiik
2006An algebra of Petri nets with arc-based timing restrictionsNiaouris, Apostolos

Discover