基本解释

• [计算机科学技术]时序逻辑语言

英汉例句

双语例句

• This paper introduces the temporal logic language XYZ/E, and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram.
  本文给出了时序逻辑语言XYZ/E的相关介绍，并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。
• Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
  采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
• XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. It can describe architecture in different abstract levels.
  是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构。

专业释义

计算机科学技术

• 时序逻辑语言