In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
针对反应式实时系统，我们使用时序规范来描述系统性质。
In order to facilitate users to specify the temporal specification at the time of authoring a multimedia program, a composition model is needed.
为了方便用户编制大型多媒体系统的时序描述，组合模型是必须的。
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记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
应用推荐