搜索筛选:
搜索耗时0.0774秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：斯袁杰,
来源：浙江大学 年份：2013
模型检验是一种重要的自动化验证技术，在保障软件高可信性过程中发挥着巨大作用。近年来分布式系统的发展表明，模型检验中的公平性问题已经引起了诸多关注。如果不考虑公平性，模......
[期刊论文] 作者：斯袁杰,桂林,杨小虎,
来源：浙江大学学报：工学版 年份：2014
研究模型验证中的公平性问题,全面定义了包括进程层面（process-level）的强/弱公平、事件层面（eventlevel）的强/弱公平以及全局强公平性（strong global fairness）等,把这些公平性条...
相关搜索：
