A Modelling and Analysis Environment for LARES
A Modelling and Analysis Environment for LARES
复制标题
LARES 建模和分析环境
DOI：
10.1007/978-3-642-28540-0_19
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Siegle
中科院分区：
文献类型：
--
作者：
A. Gouberman;M. Riedl;J. Schuster;M. Siegle
本文提出了一个基于LARES(可重构系统语言)的容错系统建模和分析工具集。LARES是一种易于学习的形式化方法，它允许用户描述系统结构、动态故障和修复行为。
This paper presents a toolset for modelling and analysis of fault tolerant systems based onLARES(LAnguage forREconfigurableSystems), an easy-to-learn formalism that allows its users to describe system structure, dynamic failure and repair behaviour.
随机过程代数工具CASPA的高效符号消除算法
DOI：
10.1007/978-3-540-95891-8_44
发表时间：
2009
期刊：
影响因子：
--
作者：
J. Bachmann;M. Riedl;J. Schuster;M. Siegle
通讯作者：
M. Siegle
LARES â� 一种描述容错系统可靠性模型中系统可重构性的新方法
DOI：
10.1201/9780203859759.ch22
发表时间：
2009
期刊：
影响因子：
--
作者：
A. Gouberman;M. Riedl;J. Schuster;M. Siegle;M. Walter
通讯作者：
M. Walter