T. M. Brookes

According to our database, T. M. Brookes authored at least 3 papers between 1994 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

Applying Formal Specification in Industry.

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

IEEE Softw., 1996

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

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

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1994

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

John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994