时态规约相关硕士博士期刊学术论文

提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。该方案中，时间类型表示为B方法中系......