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 1997
 | Up a level |
Number of items: 24.
Article
Review of Abrial, J.-R. The B-Book - M. J. Butler
Type: Article
| 1997
CMOS equaliser for compensating sinc(x) distortion of video D/A converters - F. Dudek, B.M. Al-Hashimi and M. Moniri
Type: Article
| 1997
| Item not available on this server.
Type: Article
| 1997
| Item not available on this server.
Simultaneous scheduling, allocation and binding in high level synthesis - P. Kollig and Bashir Al-Hashimi
Type: Article
| 1997
| Item not available on this server.
Type: Article
| 1997
| Item not available on this server.
Systematic generation of current mode dual output OTA filters using a building block approach - M. Moniri and B.M. Al-Hashimi
Type: Article
| 1997
| Item not available on this server.
Book Section
Type: Book Section
| 1997
| Springer
| Item not available on this server.
Conference or Workshop Item
An Audience Centred Approach to Modelling for Business Processes ReEngineering - G. Abeysinghe, P. Henderson, K. Phalp and R.J. Walters
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
An Approach to the Design of Distributed Systems with B AMN - M. J. Butler
Type: Conference or Workshop Item
| 1997
The Refinement Calculator: Proof Support for Program Refinement - M. J. Butler, J. Grundy, T. Långbacka, R. Ruksenas and J. von Wright
Type: Conference or Workshop Item
| 1997
The Application of Hypermedia in the Factory Information Environment - R M Crowder, G B Wills, I Heath and W Hall
Type: Conference or Workshop Item
| 1997
An Open Hypermedia Solution to Information Overload in Industrial Applications - Richard M. Crowder, Gary B. Wills, Ian Heath and Wendy Hall
Type: Conference or Workshop Item
| 1997
SETHEO Goes Software Engineering: Application of ATP to Software Reuse - Bernd Fischer and Johann Schumann
Type: Conference or Workshop Item
| 1997
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
Flexible Interfaces in the Industrial Environment - Wendy Hall, Mark J. Weal, Ian Heath, Gary B. Wills and Richard M. Crowder
Type: Conference or Workshop Item
| 1997
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
Using MRI to Image the Moving Vocal Tract during Speech - M. Mohammad, E. Moore, J.N. Carter, C.H. Shadle and S.R. Gunn
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
Considerations on extended feature vectors in automatic face recognition - M. S. Nixon, L. S. Ng, D. E. Benn and S. R. Gunn
Type: Conference or Workshop Item
| 1997
| Item not available on this server.
Monograph
Applying Formal Methods to the Design of Smart Card Software - Michael Butler, Pieter Hartel, Eduard de Jong and Mark Longley
Type: Monograph
| 1997
Evaluation of a user interface developed for industrial applications - Gary B. Wills, Ian Heath, Richard M. Crowder and Wendy Hall
Type: Monograph
| 1997
| University of Southampton
Factory Information Resource Management: Industrial Strength Hypermedia? - Gary B. Wills, Ian Heath, Richard M. Crowder and Wendy Hall
Type: Monograph
| 1997
Hypermedia Authoring in an Industrial Environment - Gary B. Wills, Ian Heath, Richard M. Crowder and Wendy Hall
Type: Monograph
| 1997
| University of Southampton
Other
Efficient scheduling of behavioral descriptions in high-level synthesis - P. Kollig, b.m. al-hashimi and k.m. abbott
Type: Other
| 1997
| Institution of Engineering and Technology
| Item not available on this server.