机译:使用mCRL2对IEEE Std 11073-20601会话设置进行建模和验证
机译:IEEE系统和软件验证与确认标准(IEEE Std 1012-2012)
机译:使用IEEE std 802.15.10在IEEE std 802.15.4网络中启用第2层路由
机译:基于IEEE标准的并联无源谐波滤波器的不同设计方法。 519-1992和IEEE标准。 18-2002
机译:历史-导致IEEE Std1613 ™ sup> -2003及其先前标准(IEEE Std C37.90,IEEE Std C37.90.1,IEEE Std C37.90.2和IEEE Std C37.90.3)发展的事件
机译:定义符合功能成熟度模型,ISO 9000-3和IEEE STD-1074-1991的软件过程
机译:耳鸣经颅磁刺激疗程中使用的10–20靶向方案的MRI验证
机译:mCRL2中的会话层协议分析:实际工业实现的验证