Login / Signup
T. M. Brookes
Publication Activity (10 Years)
Years Active: 1994-1996
Publications (10 Years): 0
</>
Publications
</>
T. M. Brookes
,
John S. Fitzgerald
,
Peter Gorm Larsen
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.
FME
(1996)
Peter Gorm Larsen
,
John S. Fitzgerald
,
T. M. Brookes
Applying Formal Specification in Industry.
IEEE Softw.
13 (3) (1996)
John S. Fitzgerald
,
T. M. Brookes
,
M. A. Green
,
Peter Gorm Larsen
Formal and Informal Specifications of a Secure System Component: first results in a comparative study.
FME
(1994)