Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1993
|Up a level|
Butler, M.J. (1993) Feature Interaction Analysis Using Z s.n.
Butler, M.J., (1993) Refinement and Decomposition of Value-Passing Action Systemss in the Refinement Calculus Best, E. (ed.) At CONCUR'93.
Butler, Michael and Airchinnigh, Micheal Mac an (1993) Service Specification Using Z s.n.
Butler, Michael and McDonnell, Eoin (1993) Experiment D: Application of Z to IN-Services Test Case s.n.
Debbage, M, Hill, M B, Nicole, D A and Sturgess, A (1993) The Virtual Channel Router Default journal
Garratt, P. W. and Karami, D., (1993) Software Design through Artificial Expertise Ross, M. (ed.) At Proc. 1st Int. Conf. on Software Quality Management. , pp. 918-834.
Nicole, D A, Cosnard, M and Puigjaner, R (eds.) (1993) High Peformance Architecture Issues in IFIP Transactions A-39, Decentralized and Distributed Systems, Elsevier Science
Nicole, D A (1993) Invited Lectures on Parallel Computing Architectures: The Evolving Consensus, at the Community of Mediterranean Universities Distance Learning Computer Science School, University of Leece, Italy, June 1993
Nicole, D A, Barnaby, C and May, M D, (1993) General Purpose Parallel Computers in Networks, Routers and Transputers Jane, M R, Fawcett, R J and Mawby, T P (eds.)
Pritchard, D J and Nicole, D A (1993) Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network Default journal
Thomas, K S and Bishop, Judy M (1993) Experience with Mult-Transputer Ada Default journal
Wykes, S M, Jnr, O Trindade and Nicole, D A (1993) A DS-Link Interface for T9000 System Development Default journal