ECE Department, Concordia University, Montréal, QC, Canada;
机译:具有一个或两个时钟的模型检查概率定时自动机
机译:多时钟SoC中的时钟域交叉故障的检测,诊断和恢复
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:时钟域交叉界面的概率模型检查
机译:用工程模型和应用程序进行概率符号模型检查。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:模型检查具有一个或两个时钟的概率定时自动机