Lv�的文章-码姐姐

Lv� 这家伙很懒，什么也没写资源：2 粉丝：0

+关注

Ta的上传资源列表

基于CTL和Petri网的约束一致性验证方法研究

论文摘要通过分支时序逻辑(CTL) 公式表示系统约束, 利用Petri 网的可达性分析技术来验证约束...

大小：436.07KB | 2021-04-19 22:48:10
CTL Model Checking

CTLModelCheckingLecture#24ofModelChecking

大小：151.24KB | 2019-07-23 20:26:36