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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载