Smv - SMV -- checking finite state systems against specifications in temporal logic CTL.
smv检查在临时逻辑CTL中的非规格有限系统。
SMV and SSV are two main seed - borne viruses transmitted through soybean seeds.
大豆花叶和大豆矮化是大豆的主要种传病毒,二者也可复合种传.
词典释义:
abbr. slow-movingvehicle(防止车辆尾部与后车相撞的标志)慢行车辆
Smv - SMV -- checking finite state systems against specifications in temporal logic CTL.
smv检查在临时逻辑CTL中的非规格有限系统。
SMV and SSV are two main seed - borne viruses transmitted through soybean seeds.
大豆花叶和大豆矮化是大豆的主要种传病毒,二者也可复合种传.