All Outputs (6)

A study of smoking, alcohol and social class as risk factors for stroke in Northwest of England (1996)
Presentation / Conference Contribution

The validation of formal specifications of requirements (1996)
Presentation / Conference Contribution

We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated envi... Read More about The validation of formal specifications of requirements.

Error model for computer control systems (1996)
Presentation / Conference Contribution

This paper presents an error model that is intended to allow the dependability of computer control systems, with fault tolerant mechanisms included, to be evaluated. The model allows error `surfaces' to be defined for a given application, and used to... Read More about Error model for computer control systems.

Case control study of stroke and quality of hypertension control in Northwest of England (1996)
Presentation / Conference Contribution

Prevalence, treatment, control and awareness of high blood pressure among first-ever stroke patients in Northwest England (1996)
Presentation / Conference Contribution

The development framework: Work in progress towards a real-time control system design environment (1996)
Presentation / Conference Contribution

This paper describes work in progress on two extensions to the environment of a Development Framework for the design of control system software; hybrid system design and design of dependable systems. The Development Framework automatically converts a... Read More about The development framework: Work in progress towards a real-time control system design environment.