A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing
复制标题
一种同时使用参数模型检查和功能测试的多媒体协议设计方法
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Teruo Higashino
中科院分区：
文献类型：
--
作者：
Takanori Mori;Akio Nakata;Teruo Higashino
登录
查看更多内容
推导满足实时时序逻辑公式的周期性定时自动机的参数条件
DOI：
10.1007/0-306-47003-9_10
发表时间：
2001
影响因子：
1.5
作者：
A. Nakata;T. Higashino
通讯作者：
T. Higashino
一种测试实时协议实体的方法
DOI：
10.1007/978-0-387-35516-0_18
发表时间：
2000
期刊：
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279)
影响因子：
--
作者：
A. Khoumsi;Mehdi Akalay;R. Dssouli;A. En;L. Granger
通讯作者：
L. Granger
DOI：
10.1109/93.735868
发表时间：
1998
期刊：
IEEE Multim.
影响因子：
--
作者：
Chung;Chian Wang
通讯作者：
Chian Wang
DOI：
10.1007/3-540-45801-8_52
发表时间：
2002
期刊：
Proceedings 12th International Symposium on Software Reliability Engineering
影响因子：
--
作者：
M. Yamada;T. Mori;A. Fukada;A. Nakata;T. Higashino
通讯作者：
T. Higashino
基于状态表征技术的定时测试用例生成
DOI：
10.1109/real.1998.739748
发表时间：
1998
期刊：
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279)
影响因子：
--
作者：
A. En;R. Dssouli;F. Khendek;Abdelkader Elqortobi
通讯作者：
Abdelkader Elqortobi