维普期刊资源整合服务平台（V6.5）

22篇 您的检索式：作者名="WOTAWA F"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Using model-checkers to generate and analyze property relevant test-cases 显示文摘	FRASER G WOTAWA F	2008	Software Quality Journal2008，16，2：	1
2	A Variant of Reiter' s Hitting-set Algorithm 显示文摘	WOTAWA F	2001	Information Processing Letters2001，79，：	1
3	A variant of Reiter's hitting-set algorithm 显示文摘	Wotawa F	2001	Infor- mation Processing Letters2001，79，1：	1
4	Using model-checkers to generate and analyze property relevant test-cases 显示文摘	Fraser G Wotawa F	2008	Journal of Software Quality Control2008，16，2：	1
5	A variant of Reiter's hitting-set algorithm显示文摘	Wotawa F	2001	Information Processing Letters2001，79，：	1
6	A variant of Reiter's hitting-set algorithm显示文摘	WOTAWA F	2001	Information Processing Letters2001，，79：	1
7	Testing with model checkers: a survey显示文摘	FRASER G WOTAWA F AMMANN P E	2009	Software Testing Verification and Relia- bility2009，19，3：	1
8	Model-based diagnosis or reasoning from first principles Intelligent Systems显示文摘	PEISCHL B WOTAWA F	2003	IEEE [see also IEEE Expert]2003，18，3：	1
9	A variant of Reiter's hitting set algorithm显示文摘	Wotawa F	2001	In formation Processing Letters2001，79，1：	1
10	Using model-checkers to generate and analyze property relevant test-cases显示文摘	Fraser G Wotawa F	2008	Software Quality Journal2008，16，2：	1
11	A variant of Reiter' s hitting-set algorithm 显示文摘	Wotawa F	2001	Information Processing Letters2001，79，：	1
12	A variant of Reiter' s hitting-set algorithm 显示文摘	WOTAWA F	2001	Informa- tion Processing Letters2001，79，1：	1
13	A variant of Reiter's hitting-set algorithm 显示文摘	Wotawa F	2001	Information Processing Letters2001，79，1：	1
14	A variant of Reiter's hitting-set algorithm 显示文摘	Wotawa F	2001	Information Processing Letters2001，79，1：	1
15	A variant of Reiter's hitting algorithm 显示文摘	Wotawa F	2001	Information Processing Letters2001，79，1：	1
16	Diagnosis tree-structured systems 显示文摘	STUMPTNER M WOTAWA F	2001	Artificial Intelligence2001，127，1：	1
17	Testing with model checkers:a survey显示文摘	Fraser G Wotawa F Ammann P E	2009	Software Testing Verification and Reliability2009，19，3：	1
18	A variant of Reitets hitting algorithm显示文摘	Wotawa F	2001	information processing letters2001，79，：	1
19	Testing with model chec- kers: a survey显示文摘	FRANZ G WOTAWA F AMMANN P E	2009	Software Testing Verification & Reliability2009，19，3：	1
20	A Variant of Reiter's Hitting-set Algorithm 显示文摘	Wotawa F	2001	Information Processing Letters2001，79，：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示