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

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

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

	题名	作者	年代	出处	被引量
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	A survey of rencent advances in SAT-based formal verification显示文摘	Prasad M R Biere A Gupta A	2005	Intl Jottrnal on Software Tools for Technology Transfer2005，7，2：	1
4	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
5	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
6	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
7	Vacuity Tetection in Temporal Model Checking显示文摘	Kupferman O Vardi M Y	2003	Software Tools for Technology Transfer2003，4，2：	1
8	Uppaal in a nutshell 显示文摘	Larsen K G Pettersson P Wang Y	1997	Journal on Software Tools for Technology Transfer1997，1，12：	1
9	The FSAP/NuSMV-SA Safety Anal- ysis Platform显示文摘	Bozzano M Villa orita A	2007	Software Tools for Technology Transfer2007，9，1：	1
10	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
11	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
12	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
13	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
14	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
15	Binary decision diagrams in theory and practice 显示文摘	Drechsler R and Sieling D	2001	International Journal on Software Tools for Technology Transfer2001，3，2：	1
16	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
17	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
18	Coloured Petrinets and CPN tools for modelling and validation of concurrent Isystems显示文摘	Kurt Jensen Lars Michael Kristensen Lisa Wells	2007	Software Tools for Technology Transfer2007，9，34：	1
19	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
20	UPPAAL in a Nutshell显示文摘	Larsen K G Pettersson P Wang Y	1997	Int''l Journal on Software Tools for Technology Transfer1997，1，12：	1

返回顶部每页显示：

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

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

用户提示