Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:J.S.Fitzgerald P.G.Larsen M.A.Green
Talks about:system (2) specif (2) result (2) inform (2) formal (2) compon (2) compar (2) studi (2) secur (2) first (1)
Person: T. M. Brookes
DBLP: Brookes:T=_M=
Contributed to:
19961994Wrote 2 papers:
- FME-1996-BrookesFL #case study #comparative #component #specification
- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
- FME-1994-FitzgeraldBGL #case study #comparative #component #specification
- Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.