模糊安全性和活性

模糊安全性和活性

石铁柱, 钱俊彦, 潘海玉

Fuzzy Safety and Liveness Properties

SHI Tie-zhu, QIAN Jun-yan, PAN Hai-yu

计算机科学 . 2021, (4): 31 -36 . DOI: 10.11896/jsjkx.200500036