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

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

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

	题名	作者	年代	出处	被引量
1	UPPAAL in a nutshell显示文摘	LARSEM K G PETTERSON P WANG Yi	1997	Journal on Software Tools for Technology Transfer1997，1，12：	1
2	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
3	Colored Petri nets and CPN tools for modeling and validation of concurrent systems 显示文摘	JENSEN K KRISTENSEN L M WELLS L	2007	In- ternational Journal on Software Tools for Technology Transfer2007，9，3：	1
4	Coloured Petri Nets and CPN Tools for Modeling and Valida- tion of Concurrent Systems显示文摘	Kurt Jensen Lars Michael Kristensen Lisa Wells	2007	Inter national Journal on Software Tools for Technology Transfer2007，9，3：	1
5	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
6	Uppaal in a nutshell 显示文摘	Larsen K G Pettersson P Wang Y	1997	Journal on Software Tools for Technology Transfer1997，1，12：	1
7	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
8	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
9	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
10	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
11	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
12	Binary decision diagrams in theory and practice 显示文摘	Drechsler R and Sieling D	2001	International Journal on Software Tools for Technology Transfer2001，3，2：	1
13	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
14	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
15	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
16	UPPAAL in a Nutshell显示文摘	Larsen K G Pettersson P Wang Y	1997	Int''l Journal on Software Tools for Technology Transfer1997，1，12：	1
17	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
18	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
19	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
20	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

返回顶部每页显示：

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

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

用户提示