T. M. Brookes

Publications

Citations

H-Index

1995

Active since

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

T. M. Brookes is an author at Czech Academy of Sciences, Institute of Computer Science specializing in formal verification, engineering, and information security.

Top concepts

EngineeringFormal VerificationInformation SecurityDesignSecurityFormal MethodsSocial SciencesSoftware DesignSystem SoftwareProgram Analysis

Publications per year

1995–1996

Publications

Applying formal specification in industry

Peter Gorm Larsen, John Fitzgerald, T. M. Brookes · IEEE Software · 1996 · 87 citations

Software Maintenance, Engineering, Industrial Engineering +25

Developing a Security-critical System using Formal and Conventional Methods

John Fitzgerald, Peter Gorm Larsen, T. M. Brookes et al. · Formal Methods · 1995 · 11 citations

Security Modelling, Engineering, Information Security +6

Rows per page

1–2 of 2