... finite memory 有限存储器 finite specification 有限说明 finite state device 有限态装置 ...
基于20个网页-相关网页
finite state specification language 有限状态说明书语言
finite sequence specification 有限说明
·2,447,543篇论文数据，部分数据来源于NoteExpress
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
youdao
应用推荐
模块上移
模块下移
不移动