机译:使用KRONOS和PRISM自动验证IEEE-1394根争用协议the部分由EPSRC拨款GR / N22960支持。
机译:使用KRONOS和PRISM自动验证IEEE 1394根争用协议
机译:FireWire的乐趣:对应用于IEEE 1394根争用协议的形式验证方法的比较研究
机译:使用Uppaa12k对IEEE 1394a根争用协议进行机械验证
机译:基于抽象状态机和一阶定时逻辑的根争用协议的自动参数验证
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:PRogram in Moms(PRISM):一项针对两项产科围产期抑郁症的积极干预措施的整群随机对照试验的研究方案
机译:使用KRONOS和PRISM自动验证IEEE-1394根争用协议
机译:环境技术验证报告:地下储罐自动储罐计量泄漏检测系统。 Veeder-Root标准水浮子和phase-Two(Tm)水检测器。