一种基于监控理论的软件设计方法:状态性质变换方法
文献类型:期刊论文
作者 | 王向云 ; 张文辉 ; 王鹏 ; 李永超 ; 蔡开元 |
刊名 | 控制理论与应用
![]() |
出版日期 | 2007 |
卷号 | 24期号:2 |
关键词 | 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论 |
其他题名 | a software design method based on supervisory control theories: method of changing state properties |
收录类别 | wanfang |
公开日期 | 2010-08-24 |
源URL | [http://124.16.136.157/handle/311060/4648] ![]() |
专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
推荐引用方式 GB/T 7714 | 王向云,张文辉,王鹏,等. 一种基于监控理论的软件设计方法:状态性质变换方法[J]. 控制理论与应用,2007,24(2). |
APA | 王向云,张文辉,王鹏,李永超,&蔡开元.(2007).一种基于监控理论的软件设计方法:状态性质变换方法.控制理论与应用,24(2). |
MLA | 王向云,et al."一种基于监控理论的软件设计方法:状态性质变换方法".控制理论与应用 24.2(2007). |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。