位置：成果数据库 > 会议 > 会议详情页
Unified Modeling of Active and Reactive Components for Real-Time Systems
  • 所属机构名称：浙江理工大学
  • 会议名称：2013 International Symposium on Theoretical Aspects of Software Engineering
  • 时间：2013.7.3
  • 成果类型：会议
  • 相关项目：基于微分方程的软件自适应控制模型研究
同会议论文项目
基于微分方程的软件自适应控制模型研究
期刊论文 23 会议论文 20
同项目会议论文
Behavior Analysis of Software Systems Based on Petri Net Slicing
Online reliability prediction of service composition
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
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