Travelled to:1 × Spain
Collaborated with:J.S.Fitzgerald T.M.Brookes P.G.Larsen
Talks about:system (1) specif (1) result (1) inform (1) formal (1) compon (1) compar (1) studi (1) secur (1) first (1)
Person: M. A. Green
DBLP: Green:M=_A=
Contributed to:
1994Wrote 1 papers:
- 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.