英语词汇promela怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	promela
释义	您要找的是不是： Promega primula n. 报春花；樱草属植物 promela 网络释义 1 ?协议元语言 ...）同时成立［1］，其中式（ 3 ）用来判断通信是否有效，式（ 4 ）用作判断通信安全的条件．作者已经用协议元语言（ ProMeLa ）对该通信协议建模．模型包括anne ， bill 和crow三个通信进程，它们分别代表Anne ， Bill和 Crow ，且以消息方式进行通信．进程... 短语 1 promela model Promela模型 2 Simple PROMELA Interpreter 简单进程元语言解释器 3 Promela language Promela语言双语例句 1 The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA. 模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。 2 Having the Promela code describing the component behavior, one can efficiently check for the behavior compatibility and LTL (Linear Temporal Logic) properties of cooperating software components. 由于使用了代码来描述构件行为，就可以有效地检查协作构件之间的行为兼容性和LTL(线性状态逻辑)性能。
随便看	primary constriction primary construction primary consumer primary contact primary contact zone primary container primary containment primary containment cooling system primary containment integrity primary containment leak rate primary containment monitor system primary containment pressure primary control primary control circuit primary control element primary controller primary control network primary control officer primary control point primary control position primary control program primary control ship primary control station primary control surface primary control unit

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。