Towards the formal verification of optical interconnects

Sanaz Khan Afshar, Osman Hasan, Sofiène Tahar. Towards the formal verification of optical interconnects. In IEEE 12th International New Circuits and Systems Conference, NEWCAS 2014, Trois-Rivieres, QC, Canada, June 22-25, 2014. pages 157-160, IEEE, 2014. [doi]

Authors

Sanaz Khan Afshar

This author has not been identified. Look up 'Sanaz Khan Afshar' in Google

Osman Hasan

This author has not been identified. It may be one of the following persons: Look up 'Osman Hasan' in Google

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google