protocols; probabilistic logic; decidability; security of data; decidability; parametric probabilistic transition systems; probabilistic nonrepudiation protocol; security application;
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:确定无限状态概率系统上的概率双相似性
机译:参数概率转移系统的可判定性结果及其在安全性方面的应用
机译:自主生理系统的参数化和非参数化建模:败血症的应用和多尺度建模
机译:医疗保健中的计算机应用。医院中的计算机系统。基于医院的专业护理系统:使用微型计算机确定急性阻塞性化脓性胆管炎的手术机会
机译:参数概率转移系统的可判定性结果及其在安全性中的应用
机译:非定常气动应用概率分析的参数降阶模型