机译:客人编辑:ACM TECS的专题ACM-IEEE关于系统设计的正式方法和模型国际会议(MemoCode 2017)
机译:使用IEEE 802.15.4协议的网络控制系统稳定性分析的形式化方法
机译:FireWire的乐趣:对应用于IEEE 1394根争用协议的形式验证方法的比较研究
机译:IEEE正式方法规划
机译:运动计划和控制:一种正式的方法。
机译:IEEE802.16e宽带无线网络的多种节电MSS调度方法
机译:FireWire的乐趣:对应用于IEEE 1394根争用协议的形式验证方法的比较研究
机译:IEEE / Nasa利用正式方法,验证和验证应用的研讨会