机译:一种基于正式规范的词对词翻译移动系统,用于用屈折语言呈现科学文本
机译:基于移动应用程序的手语翻译在Kannada语言中的手语
机译:通过使用基于UML的正式语言来规范信息系统中的完整性维护操作
机译:Tesperanto的基于模型的系统规范:来自正式图形的可读文本
机译:使用上下文相关性将自然语言规范转换为形式规范的方法
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:ScienceCentral:基于期刊文章标签套件的科学期刊的开放获取全文存档无论其语言是什么
机译:基于移动应用程序的手语翻译在Kannada语言中的手语
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义