Original language | English |
---|---|
Publication status | Published - 1993 |
Applying Non-Interference to Composition of Systems: A more Practical Approach
Qi Shi, J.A. McDermid, J.D. Moffett
Research output: Contribution to conference › Paper
Qi Shi, J.A. McDermid, J.D. Moffett
Research output: Contribution to conference › Paper
Original language | English |
---|---|
Publication status | Published - 1993 |