Back to Results
First PageMeta Content
Aircraft instruments / Standards / Covert channel / Steganography / ARINC 653 / ARINC / Verification / Human behavior / Technology / User interface design / Design


Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang
Add to Reading List

Document Date: 2018-10-10 04:10:19


Open Document

File Size: 2,11 MB

Share Result on Facebook