摘 要：为了处理系统验证中大量存在的不确定性，国内学者将可能性理论引入到模型检测中，提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景，但有许多问题需要解决。其中的一个问题是，如何（试读）...
登录
