流逝汉英词典

b amn

B 开头单词

英汉例句

    双语例句

  • A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
    提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。