英漢例句雙語例句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方法中經(jīng)典AMN記號表達時態(tài)槼約的函數(shù)結(jié)搆方案以支持實時軟件系統(tǒng)的槼約和騐証。b amn更多例句