位置：成果数据库 > 会议 > 会议详情页
Spatio-Temporal UML Statechart For Cyber-Physical Systems
  • 所属机构名称：浙江理工大学
  • 会议名称：17th IEEE International Conference on Engineering of Complex Computer Systems
  • 时间：2012.7.18
  • 成果类型：会议
  • 相关项目：基于微分方程的软件自适应控制模型研究
作者： Ziwei Liu|刘静|何积丰|丁佐华|
同会议论文项目
基于微分方程的软件自适应控制模型研究
期刊论文 23 会议论文 20
同项目会议论文
Behavior Analysis of Software Systems Based on Petri Net Slicing
Online reliability prediction of service composition
Unified Modeling of Active and Reactive Components for Real-Time Systems
Modeling self-adaptive software systems with learning petri nets
A distributed approach to collision and deadlock avoidance in multi-robot systems
Testing Model Transformation Programs using Metamorphic Testing
Spatio-Temporal UML Statechart For Cyber-Physical Systems
Spatio-Temporal UML Statechart For Cyber-Physical Systems
Self-tuning Performance of Database Systems with Neural Network
Petri Net Representation of Switched Stochastic Systems
Modeling and Analysis of Switched Fuzzy Systems
Behavior Analysis of Software Systems Based On Petri Net Slicing
Spatio-Temporal UML Statechart For Cyber-Physical Systems
Modeling and Analysis of Switched Fuzzy Systems
Spatio-temporal Properties Analysis for Cyber-physical Systems
Formal modeling and verification of secure mobile agent systems
Self-tuning Performance of database systems with Neural Network
Modeling Fault Tolerated Mobile Agents by Colored Petri Nets
Self-tuning performance of database systems based on fuzzy rules