...
机译:IEEE 1394领导者选举协议的定时验证
protocols; I/O automata; safety;
机译:领导人选举协议的验证:应用于IEEE 1394的正式方法
机译:IEEE 1394中用于领导者选举的形式方法概述
机译:使用KRONOS和PRISM自动验证IEEE 1394根争用协议
机译:使用LPMC对IEEE 1394a根争用协议进行参数验证
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:印度尼西亚的当地经济与现任地区领导人的连任
机译:Maude中IEEE 1394的领导者选举协议
机译:IEEE 1394领导者选举协议的定时验证