机译:诊断具有部分可观察到过渡的基于PN的模型
机译:公平的实时离散事件模型中的延迟截止故障的可诊断性
机译:基于pn的平带单极势垒光电探测器
机译:基于PN的DES模型的公平诊断性
机译:在17个CMIP3全球气候模型中诊断北半球急流描述的模型间变化。
机译:通过公平-公平模型量化公平偏差
机译:攻击公平交换协议的并行模型与跟踪模型11我们感谢匿名审阅者提出的许多有用建议,并感谢C. Marchetti讨论Fair-Exchange协议(容错)本地和分布式实现的棘手问题。 ASI,CNR和MURST赠款部分支持这项工作。马萨奇(F. Massacci)感谢CNR奖学金203-7-27的支持。
机译:基于符号模型检验的大型模型可诊断性实用形式验证