Warning: file_put_contents(): Only 0 of 6426 bytes written, possibly out of free disk space in /home/www/wwwroot/zidian/oclz.com/index.php on line 55 b amn是什么意思，b amn的翻译，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記號表達時態槼約的函數結搆方案以支持實時軟件系統的槼約和騐証。