离散时间模型的实时符号模型检查 电子书下载

原名:Real-Time Symbolic Model Checking for Discrete Time Models
作品简介:离散的实时符号模型检查。时间模型。模型检查器接受模型描述。 spt\’ca icat 离子写为……