b amn

常見(jiàn)例句

雙語(yǔ)例句

• 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記號(hào)表達(dá)時(shí)態(tài)規(guī)約的函數(shù)結(jié)構(gòu)方案以支持實(shí)時(shí)軟件系統(tǒng)的規(guī)約和驗(yàn)證。
返回 b amn