标签变迁系统相关硕士博士期刊学术论文 - 搜论网

标签变迁系统相关论文

基于LTS的Statecharts操作语义研究

Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标筘变迁系统（LTS）的Statecharb操作语义捕述方法，介......

期刊

STATECHARTS 操作语义标签变迁系统 Statecharts Operation semantics Labeled transition syste

基于动作序列的行为需求模式验证的研究

提出了基于动作序列刻画安全关键系统的功能行为需求和安全性行为需求,较传统的类逻辑规范和类图式规范更准确表达交互行为间的时......

期刊

安全关键系统动作序列行为需求模式标签变迁系统模式验证

看过本文同时还关注