Applying Non-Interference to Composition of Systems: A more Practical Approach

Qi Shi, J.A. McDermid, J.D. Moffett

Research output: Contribution to conferencePaper

Original languageEnglish
Publication statusPublished - 1993

Cite this