Cavity resonators; Mirrors; Optical interconnections; Optical surface waves; Optical waveguides; Planar waveguides;
机译:周期性光学系统中稳定性和混沌的形式验证
机译:无源光网络芯片行为的建模和形式验证
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:本地互连网络主节点的正式协同验证
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:使用单模聚合物波导的紧凑型光学互连的扇出布线和光分离技术
机译:使用干涉滤光片作为非线性光学逻辑门并使用全息光学元件作为光学互连的光学计算。