Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 1993

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
[tool] Add To Shelf...
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 13.

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) High Performance Architectures, Invited Lecture at the BCS Parallel Processing Specialist Group Workshop on General Purpose Parallel Computing, London, December 1993

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

This list was generated on Thu Apr 13 10:45:48 2017 BST.