The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 1999

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Jump to: B | C | D | G | H | K | L | M | N | P | S | T | W
Number of items: 41.

B

Type: Article | 1999

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Article | 1999

Parallel Programming with the B Method - M. J. Butler and M. Waldén
Type: Conference or Workshop Item | 1999 | Item not available on this server.

C

Prospects for high fidelity imaging in nonlinear EIT using high performance computing - M.J Caton, S.J. Cox, BH Blott, G.J. Daniell and D.A. Nicole
Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999

Integration of Manufacturing Information using Open Hypermedia - Richard M. Crowder, Wendy Hall, Ian Heath and Gary B. Wills
Type: Article | 1999

D

Type: Conference or Workshop Item | 1999

Type: Conference or Workshop Item | 1999 | Item not available on this server.

G

Type: Conference or Workshop Item | 1999 | Item not available on this server.

An intelligent process model choice tool - P. W. Garratt and A. C. Hodgkinson
Type: Monograph | 1999 | Int. Ass. for Modelling and Simluation Techniques in Enterprises (AMSE), France | Item not available on this server.

A Neurofuzzy cost estimator - P. W. Garratt and A. C. Hodgkinson
Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Article | 1999

Computer Based Training of Surgeons - S Grange, J Cooper, G Jones and TD Bunker
Type: Conference or Workshop Item | 1999

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999

Type: Article | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

H

Refinement of Dynamic Systems - S. Hallerstede and M. J. Butler
Type: Monograph | 1999 | University of Southampton

Questions and Answers About Ten Formal Methods - P. Hartel, M. Butler, A. Currie, P. Henderson, M. Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche and R.J. Walters
Type: Conference or Workshop Item | 1999

The Operational Semantics of a Java Secure Processor - P. H. Hartel, M. J. Butler and M. Levy
Type: Book Section | 1999 | Springer

The application of a hypermedia research system in industry - I. Heath, W. Hall, R.M. Crowder and G. Wills
Type: Conference or Workshop Item | 1999 | Item not available on this server.

Refinement Semantics and Loop Rules - E. C. R. Hehner and A. M. Gravell
Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

System Design Validation Using Formal Models - P. Henderson and R. J. Walters
Type: Conference or Workshop Item | 1999 | Item not available on this server.

K

Type: Conference or Workshop Item | 1999 | Association for Computing Machinery | Item not available on this server.

L

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

Type: Conference or Workshop Item | 1999 | Item not available on this server.

M

Type: Conference or Workshop Item | 1999 | Item not available on this server.

N

Type: Conference or Workshop Item | 1999

P

A Distributed Scientific Data Archive Using the Web, XML and SQL/MED - Mark Papiani, Jasmin L Wason, Alistair N Dunlop and Denis A Nicole
Type: Article | 1999

S

Type: Other | 1999 | Item not available on this server.

T

Parallel Computing on Windows NT Clusters - K Takeda, N K Allsopp, J C Hardwick, P C Macey, M J Caton, D A Nicole, S J Cox and D J Lancaster
Type: Conference or Workshop Item | 1999 | Item not available on this server.

W

Type: Monograph | 1999 | University of Southampton

Practical aspects of capturing the Turing Archive - Gary Wills, Gareth Hughes, Kirk Martinez and Wendy Hall
Type: Monograph | 1999 | University of Southampton

Type: Thesis | 1999

User Evaluation of an Industrial Hypermedia Application. - Gary B. Wills, Ian Heath, Richard M. Crowder and Wendy Hall
Type: Monograph | 1999 | University of Southampton

This list was generated on Tue Apr 16 01:33:11 2024 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×