correction; efficient architecture; information model; verification;
机译:基于扩展混合系统描述语言的网络物理系统行为建模与安全验证方法
机译:基于知识的标记语言的智能存储和高效检索的知识表示技术
机译:基于知识的标记语言的智能存储和高效检索的知识表示技术
机译:基于可扩展标记语言的智能用电信息验证与自错误恢复系统
机译:标记语言的学习和使用:对用户界面,帮助系统和用户背景对学习标记语言的影响进行的实验研究。
机译:SBML-SAT:基于系统生物学标记语言(SBML)的敏感性分析工具
机译:用扩展的文本标记语言重铸超文本标记语言:这是电子商务未来的基础吗?
机译:DaRpa代理标记语言(DamL)工具,用于支持智能注释,共享和检索