Formal Specification; Formal Languages; Real-Time System; Specification Languages;
机译:一种基于正式规范的词对词翻译移动系统,用于用屈折语言呈现科学文本
机译:使用规范语言分析离散系统的形式化方法
机译:通过使用基于UML的正式语言来规范信息系统中的完整性维护操作
机译:实时系统的正式规范语言
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:结合图形和正式语言的分布式系统的规范
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义