![](/img/cover-not-exists.png)
[IEEE International Phoenix Conference on Computers and Communications - Scottsdale, AZ, USA (28-31 March 1995)] Proceedings International Phoenix Conference on Computers and Communications - Establishing PCI compliance using formal verification: a case study
Beer, I., Ben-David, S., Eisner, C., Engel, Y., Gewirtzman, R., Landver, A.Year:
1995
Language:
english
DOI:
10.1109/pccc.1995.472466
File:
PDF, 369 KB
english, 1995