A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
复制标题
参数时间间隔自动机的定时失效等价保留抽象
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
T.Higashino
中科院分区：
文献类型：
--
作者：
A.Nakata;T.Tanimoto;S.Sasaki;T.Higashino
登录
查看更多内容
全局定时双向模拟：简介
DOI：
--
发表时间：
1999
期刊：
Formal Techniques for (Networked and) Distributed Systems
影响因子：
--
作者：
David de Frutos;Natalia López;M. Núñez
通讯作者：
M. Núñez
测试流程的等效性
DOI：
10.1007/bfb0036936
发表时间：
1983
期刊：
Inf. Comput.
影响因子：
--
作者：
R. Nicola;M. Hennessy
通讯作者：
M. Hennessy
定时系统的过程代数
影响因子：
1
作者：
M. Hennessy;Tim Regan
通讯作者：
Tim Regan
时间抽象双模拟：隐式规范和可判定性
DOI：
10.1007/3-540-58027-1_8
发表时间：
1993
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
K. Larsen;W. Yi
通讯作者：
W. Yi
实时系统的参数化时序分析
DOI：
10.1006/inco.1996.0086
发表时间：
1996
期刊：
Inf. Comput.
影响因子：
--
作者：
Farn Wang
通讯作者：
Farn Wang