...
机译:问责协议:正式化并经过验证
Dipartimento di Matematica e Informatica, Universita di Catania, Viale A. Doria 6, I-95125 Catania (ITALY);
nonrepudiation; certified email; proof tools; inductive method; isabelle;
机译:正式化和验证协议优化
机译:形式化和验证的螺旋过程:以OSEK / VDX调度机制的验证为例
机译:EHPVS:用于验证ESTELLE中特定协议的协议验证系统
机译:自动验证安全协议中的责任
机译:RFID协议中不可追溯性的分类,形式化和自动验证。
机译:研究方案:通过电刺激证实的BTX-A治疗痉挛性脑瘫患儿中通过被动拉伸和放松下肢目标肌肉来检查人工肌内针放置方案的精度
机译:CTML:一种上下文运输标记语言,用于法律,医学,官僚和安全程序和协议的形式化和验证