基于对象的图形的语法(OBGG)适合这类系统的规范,是一种视觉的正式语言。在以往的工作中,翻译OBGG PROMELA(SPIN模型检测器的输入语言)的定义,启用的使用...
基于1个网页-相关网页
基于对象的图形的语法
Syntax for object-based graphics
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动