Formal specification and dependability analysis of optical communication networks.

Umair Siddique, Khaza Anuarul Hoque, Taylor T. Johnson

Browse the full DATE paper archive.