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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证,主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
In this paper the performance of meteor burst communications system is analysed. It is proposed that the mean waiting time should be used as a specification in representing the performance.
本文分析了流星迸发通信系统的性能,提出用平均等待时间作为衡量流星通信的性能指标。
In this paper the performance of meteor burst communications system is analysed. It is proposed that the mean waiting time should be used as a specification in representing the performance.
本文分析了流星迸发通信系统的性能,提出用平均等待时间作为衡量流星通信的性能指标。
应用推荐