Searching for "Formal and Informal Specifications of a Secure System Component first results in a comparative study." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Formal and Informal Specifications of a Secure System Component: first results in a comparative
by Fitzgerald Brookes, J. S. Fitzgerald, T. M. Brookes, M. A. Green, P. G. Larsen — 1994 — FME’94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science
…Formal and Informal Specifications of a Secure System Component: first results in a comparative…
Cited by 12 (5 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB