本文 提出对象文件系统时序逻辑(Object File System Temporal Logic, OFSTL),它是LTL 在文件系统下 的一个推广,同时用对象模块模拟对象文件系统, 目的是满足对对象文件系统形...
基于2个网页-相关网页
object file system temporal logic
对象文件系统时间逻辑
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动