位置：成果数据库 > 期刊 > 期刊详情页
On the controller synthesis for probabilistic systems of conflict tolerant specification
  • 时间：0
  • 相关项目：高阶进程演算的互模拟研究
同期刊论文项目
高阶进程演算的互模拟研究
期刊论文 12 会议论文 16 著作 2
同项目期刊论文
Model checking probabilistic timed automata in the presence of uncertainties
一种基于形式化规约生成软件体系结构模型的方法
一种支持实时软件资源建模与分析的方法
Web?服务组合功能与QoS?的形式化统一建模和分析
Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS
基于价格进程代数的Web服务组合描述和成本分析
A knowledge passing process calculus
代价和概率时间自动机上概率有界的成本优化可达性
一种扩充的π-演算及事务性等价关系研究
Web服务组合功能与QoS的形式化统一建模和分析
面向约束的Web服务发现方法研究