Newcastle University eTheses: Search

Search

Results 551-560 of 588 (Search time: 0.001 seconds).

Item hits:

Issue Date	Title	Author(s)
2000	Relating formal models of concurrency for the modelling of asynchronous digital hardware	Pietkiewicz-Koutny, Marta
2009	Towards certifiable reconfigurable real-time mission critical software systems	Wilkinson, Richard Alexander
2004	Contract representation for validation and run time monitoring	Solaiman, Ellis
2005	Design and evaluation of crash tolerant protocols for mobile ad-hoc networks	Vollset, Einar Wiik
2006	An algebra of Petri nets with arc-based timing restrictions	Niaouris, Apostolos
2009	Landscape use by gulls (Larus spp.)	Cook, Aonghais
2005	Biomechanical analysis of stretch reflex responses :an approach to spasticity measurement	Salazar-Torres, Jose de Jesus
2009	Case, agreement and movement in Arabic :a minimalist approach	Musabhien, Mamdouh
2008	Changing constructions of identity :fisher households and industry restructuring	Williams, Ruth
2008	Benefits of traceability in software development	Arkley, Paul