位置：成果数据库 > 期刊 > 期刊详情页
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algori
  • ISSN号：0005-1098
  • 期刊名称：Automatica
  • 时间：0
  • 页码：782-788
  • 语言：英文
  • 相关项目：可信分布式实时软件的非功能特性的连贯性分析、设计与验证
作者： Liu, Fuchun|Dziong, Zbigniew|Lin, Hai|
同期刊论文项目
可信分布式实时软件的非功能特性的连贯性分析、设计与验证
期刊论文 37 会议论文 18
同项目期刊论文
基于J2EE框架的食品药品监督管理系统的研究
基于面向方面和UML的实时系统建模研究
基于通信序列进程的UML序列图形式化方法
基于面向对象的MDA三级建模技术
区分移动实时事务关键性的并发控制策略
Reliable supervisory control for general architecture of decentralized discrete event systems
基于中间层的软件体系结构模型
面向方面的可配置实时系统开发方法
基于面向方面的网格QoS建模方法
一种基于负载均衡异构分布式系统的改进容错调度算法
面向方面在实时系统中间件中的应用
基于面向方面MDA的软件开发方法
移动实时数据库的时间一致性研究
面向方面的性能分析过程
面向方面的MDA在分布式实时系统中的应用
扩展UML实现面向方面思想建模
面向方面的软件非功能特性研究
异构分布式系统混合型实时容错调度算法
CPS异构分布实时系统中带负载因子的容错调度
基于X3D的富客户端WEBGIS应用研究
Storm 实现的应用模型研究