Concordia University (Canada).;
机译:OFDM调制解调器中I / Q基带滤波器失配的影响分析
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:使用CSP的PSTM架构的正式分析和验证
机译:使用HOL的OFDM调制解调器设计的正式分析与验证
机译:OFDMA容量分析和无线广播-单播混合网络设计。
机译:患者护理人员和医疗保健专业人员在家庭无创通气(NIV)中使用调制解调器的经验和观点:定性研究
机译:使用HOL的OFDM调制解调器设计的形式分析和验证
机译:mETa II:设计过程中大规模网络物理系统正确性的正式联合验证。第1卷。