Warning: file_put_contents(/www/wwwroot/zidian/biehu.cn/cache/c417294b805a59c2a7ee9db56fa4e29b.txt): failed to open stream: No space left on device in /www/wwwroot/zidian/biehu.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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。