Maude-based Implementation of Constraint Automata
Maude-based Implementation of Constraint Automata
复制标题
基于 Maude 的约束自动机实现
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Shin NAKAJIMA
中科院分区：
文献类型：
--
作者：
Takeaki Terada;Masakazu Soshi;Atsuko Miyaji.;中島 震;Shin NAKAJIMA
登录
查看更多内容
DOI：
10.1109/ipdps.2003.1213432
发表时间：
2003
期刊：
Proceedings International Parallel and Distributed Processing Symposium
影响因子：
--
作者：
M. Bourahla;M. Benmohamed
通讯作者：
M. Benmohamed
从数量到质量
影响因子：
--
作者：
T. Henzinger;O. Kupferman
通讯作者：
O. Kupferman
Statemate 设计的实时验证
DOI：
10.1007/bfb0028777
发表时间：
1998
期刊：
RAIRO Theor. Informatics Appl.
影响因子：
--
作者：
Udo Brockmeyer;Gunnar Wittich
通讯作者：
Gunnar Wittich
使用 CTL 模型检查器分析实时系统
DOI：
10.1016/j.entcs.2004.08.057
发表时间：
2005
期刊：
International Workshop on Formal Methods for Industrial Critical Systems
影响因子：
--
作者：
M. Bourahla;M. Benmohamed
通讯作者：
M. Benmohamed