Warning: file_put_contents(/www/wwwroot/ppbbu/bieo.cn/cache/d8e24976ab561229e0339ae98e23ecad.txt): failed to open stream: No space left on device in /www/wwwroot/ppbbu/bieo.cn/index.php on line 58 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記號表達時態槼約的函數結搆方案以支持實時軟件系統的槼約和騐証。