Model Checking of LSC Specifications

英 美
  • 基于LSC的模型检验研究与实现
  • checking n.校核；检验；核算；验算动词check的现在分词形式.
  • LSC n.大型计算机
  • model n.模范；模特儿；模型adj.模范的；作模型用的v.做模型；模仿；塑造
  • of prep.关于；...的（表所属）；出身于；由于
  • specifications n.规范；说明书名词specification的复数形式.

相关词汇

model model course
展开全文

大家正在查

modeling/simulation是什么意思 model-view-control是什么意思 Modemisrn是什么意思 modematime是什么意思 modemsetup是什么意思 modemizaton是什么意思 moderatedneutron是什么意思 moderator-coolant是什么意思 modernists是什么意思 modernised是什么意思