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

147篇 您的检索式：期刊名="International Journal on Software Tools for Technology Transfer"

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

	题名	作者	年代	出处	被引量
1	Coloured petri nets and CPN tools for modelling and validation of concurrent systems显示文摘	Jensen K Kristensen L M Wells L	2007	International Journal on Software Tools for Technology Transfer2007，9，34：	1
2	Framework testing of web applications using TTCN-3显示文摘	Bernard Stepien Liam Peyton Pulei Xiong	2008	International Journal on Software Tools for Technology Transfer2008，，4：	1
3	An Overview of JML Tools and Applications显示文摘	Burdy L Cheon Y Cok D	2005	International Journal on Software Tools for Technology Transfer2005，7，3：	1
4	Coloured Petri nets and CPN tools for modelling and validation of concurrent systems显示文摘	JENSEN K KRISTENSEN L M WELLS L	2007	International Journal on Software Tools for Technology Transfer2007，9，34：	1
5	Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems 显示文摘	Jensen K Kristensen L M Wells L	2007	International Journal on Software Tools for Technology Transfer (STTT)2007，9，3：	1
6	Colored Petri nets and modeling and validation of concurrent systems显示文摘	JENSEN K KRISTENSEN L M WELLS L	2007	International Journal on Software Tools for Technology Transfer2007，9，34：	1
7	Model-based testing of software and systems:recent advances and challen- ges显示文摘	PETRENKO A SIMAO A	2012	International Journal on Software Tools for Technology Transfer2012，14，4：	1
8	Binary decision diagrams in theory and practice 显示文摘	Drechsler R and Sieling D	2001	International Journal on Software Tools for Technology Transfer2001，3，2：	1
9	Model checking software product lines with SNIP显示文摘	Classen A Cordy M Heymans P	2012	International Journal on Software Tools for Technology Transfer2012，4，5：	1
10	Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems显示文摘	Jesnsen K Kristensen L M Wells L	2007	International Journal on Software Tools for Technology Transfer2007，9，34：	1
11	Formal Design and Analysis of a Gearbox Controller显示文摘	Lindahl M Pettersson P Wang Yi	2001	International Journal on Software Tools for Technology Transfer2001，3，3：	1
12	Bounded model checking of software using SMT solvers instead of SAT solvers显示文摘	ARMANDO A MANTOVANI J PLATANIA L	2009	International Journal on Software Tools for Technology Transfer2009，1，1：	1
13	A survey of recent advances in SAT-based formal verification显示文摘	Mukul R. Prasad Armin Biere Aarti Gupta	2005	International Journal on Software Tools for Technology Transfer2005，，2：	1
14	A case study based comparison of web testing techniques applied to AJAX web applications 显示文摘	Alessandro Marchetto Filippo Ricca Paolo Tonella	2008	International Journal on Software Tools for Technology Transfer2008，10，6：	1
15	Col- oured petri nets and CPN tools for modeling and validation of concurrent systems 显示文摘	Jensen Kurt Kristensen Lars Michael Wells Lisa	2007	International Journal on Software Tools for Technology Transfer2007，9，3：	1
16	The Practitioner's Guide to Coloured Petri Nets显示文摘	Kristensen L M Christensen S Jensen K	1998	International Journal on Software Tools for Technology Transfer1998，2，2：	1
17	Fate and free will in error traces 显示文摘	Jin H Ravi K Somenzi F	2004	International Journal on Software Tools for Technology Transfer2004，6，2：	1
18	Parallel and distributed model checking in Eddy显示文摘	I. Melatti R. Palmer G. Sawaya Y. Yang R. M. Kirby G. Gopalakrishnan	2009	International Journal on Software Tools for Technology Transfer2009，，1：	1
19	Survey on test data generation tools显示文摘	Galler S J Aichernig B K	2013	International Journal on Software Tools for Technology Transfer2013，，：	1
20	Programming in FISh显示文摘	JAY B	1999	International Journal on Software Tools for Technology Transfer1999，，2：	1

返回顶部每页显示：

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

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

用户提示