The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" 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
Number of items: 44.

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

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

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.

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

Factory information provision using hypermedia - R.M. Crowder, W. Hall, I. Heath and G. Wills
Type: Article | 1999 | Item not available on this server.

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

Type: Conference or Workshop Item | 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.

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 | Item not available on this server.

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

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-Verlag

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.

Type: Other | 1999 | ACM/SIGDA | 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.

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

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

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

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.

An Assessment of MPI Environments for Windows NT - K Takeda, N K Allsopp, J C Hardwick, P C Macey, D A Nicole, S J Cox and D J Lancaster
Type: Conference or Workshop Item | 1999 | Item availability restricted.

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 Sep 18 01:29:43 2018 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 https://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.

×