
[IEEE 2015 9th Annual IEEE International Systems Conference (SysCon) - Vancouver, BC, Canada (2015.4.13-2015.4.16)] 2015 Annual IEEE Systems Conference (SysCon) Proceedings - Formal modeling and verification of integrated photonic systems
Siddique, Umair, Hasan, Osman, Tahar, SofieneAnnée:
2015
Langue:
english
DOI:
10.1109/SYSCON.2015.7116811
Fichier:
PDF, 923 KB
english, 2015