T. M. Brookes
According to our database1,
T. M. Brookes
authored at least 3 papers
between 1994 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
1994
1995
1996
0
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.
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.
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994