PERTS：一个用于反应式系统规约和验证的环境

PERTS: an environment for specification and verification of reactive systems

Reliability Engineering and System Safety · 2001
被引 8
ABS 3
计算机科学形式化规约形式化验证反应式系统
阅读原文 ↗