b amn
常見例句
- 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記號表達時態(tài)規(guī)約的函數結構方案以支持實時軟件系統(tǒng)的規(guī)約和驗證。 返回 b amn