Temporal Logic Verifier什么意思
英文简称
中文全称
时序逻辑校验
所属分类
词条简介
同"TLV"简称
Threshold Limit Value(有害物)最高允许浓度,阈限值 Toque Limiting Valve转矩限制阀 Time, Length and Value (telecommunications)时间、长度和价值(电信) Transmission Level传输电平 Tel Aviv Yafo, Israel - Ben-Gurion International (Airport Code)Yafo,以色列特拉维夫机场,国际(格码) Type-Length-Value (tuplet used to create extensible protocols)Type-Length-Value(tuplet用于创建可扩展的协议) Threshold Limit Value (American Conference of Governmental Industrial Hygienists, Inc.)界限值(美国会议阈值的政府工业卫生师作为团队的一部分,公司。) The Loop Verein诺华国际联盟的循环 Threshold Level Value门槛水平的价值 Two-Lung Ventilation双通风 Temporal Logic Verifier时序逻辑校验 total lung volume肺总容积,肺总容量 Type Length Value值类型的长度 Type - Length - Value类型-长度-价值 Ben Gurion Airport, Tel Aviv, Israel本·古里安机场特拉维夫,以色列
展开更多
大家还看了
中文翻译
英文翻译
英文缩略词
中文缩略词
缩写