Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete
Reachability in Cooperating Systems with Architectural Constraints is PSPACE-Complete
复制标题
具有架构约束的协作系统的可达性是 PSPACE 完整的
DOI：
10.4204/eptcs.138.1
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Nils Semmelrock
中科院分区：
文献类型：
--
作者：
Mila Majster-Cederbaum;Nils Semmelrock
登录
查看更多内容
基于组件的模型的故障恢复理论
DOI：
10.1007/978-3-642-33536-5_31
发表时间：
2011
期刊：
2011 IEEE 30th International Symposium on Reliable Distributed Systems
影响因子：
--
作者：
Borzoo Bonakdarpour;M. Bozga;Gregor Gössler
通讯作者：
Gregor Gössler
交互系统中的一切都是 PSPACE-Complete
DOI：
10.1007/978-3-540-85762-4_15
发表时间：
2008
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
M. Majster;Christoph Minnameier
通讯作者：
Christoph Minnameier
关于复合组件的可观察行为
DOI：
10.1016/j.entcs.2009.12.035
发表时间：
2008
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
R. Hennicker;Stephan Janisch;Alexander Knapp
通讯作者：
Alexander Knapp
在架构约束的基础上分析基于组件的系统
DOI：
10.1007/978-3-642-29320-7_5
发表时间：
2011
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Christian Lambertz;M. Majster
通讯作者：
M. Majster
影响因子：
1.3
作者：
S. Brookes;A. W. Roscoe
通讯作者：
A. W. Roscoe