Back to Results
First PageMeta Content
Software engineering / Formal methods / Evaluation / Ada programming language / SPARK / Reliability engineering / Evaluation Assurance Level / Functional specification / Common Criteria / Software development / Computing / Systems engineering


Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited
Add to Reading List

Document Date: 2014-01-21 09:38:38

Open Document

File Size: 436,89 KB

Share Result on Facebook
UPDATE