التفاصيل البيبلوغرافية
| العنوان: |
Command center security-proving software correct |
| المؤلفون: |
Hammonds, G.L., Lichota, R.W., Hird, G., Wool, J. |
| المصدر: |
COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :163-173 1995 |
| Relation: |
COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
