·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
ABBREVIATION for surface-to-surface missile 地对地导弹
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
An overview of the induction reheating technique for SSM billet is introduced and analyzed systematically.
对半固态坯料二次感应加热技术进行了较为系统的介绍和分析。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
应用推荐