中英▼
go top

parametric strand

网络释义专业释义

  参数串

...刊网 关键词：形式化；串空间；参数串；约束消减；Prolog [gap=694]Key words:formal method; strand space; parametric strand; constraint elimination; Prolog ...

基于20个网页-相关网页

  • 参数串 - 引用次数：1

    参考来源 - 基于Prolog的安全协议在线自动化分析

·2,447,543篇论文数据，部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定