T. M. Brookes

Applying Formal Specification in Industry

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes, 1996, IEEE Softw..

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes, 1996, FME.

Target recognition in infra-red imagery using neural networks and machine learning

T. M. Brookes, William A. Wright, A. A. Crowe, 1993 .

Formal Modelling and Simulation in the Development of a Security-critical Message Processing System

Peter Gorm Larsen, T. M. Brookes, John Fitzgerald, 1995 .

Developing a Security-critical System using Formal and Conventional Methods

Peter Gorm Larsen, T. M. Brookes, John Fitzgerald, 1995 .

A Comparison of the Conventional and Formal Design of a Secure System Component

Peter Gorm Larsen, T. M. Brookes, John Fitzgerald, 1994 .

Formal and Informal Specifications of a Secure System Component: first results in a comparative study

Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes, 1994, FME.