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

38篇 您的检索式：期刊名="STTT"

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

	题名	作者	年代	出处	被引量
1	The software model checker Blast显示文摘	Beyer D Henzinger T A Jhala R	2007	STTT2007，9，56：	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 Transfer (STTT)2007，9，3：	1
3	Worst-Case Execution Time Analysis for Embedded Real-time Systems显示文摘	Jakob Engblom Andreas Ermedahl Mikael Sjodin	2003	Journal of Software Tool and Transfer Technology (STTT)2003，4，4：	1
4	The Petri Net Kernel-an infrastructure for building Petri net tools 显示文摘	Kindler E Weber M	2001	Software Tools for Technology Transfer ( STTT )2001，3，4：	1
5	The software model checker blast显示文摘	Beyer D Henzinger A Jhala R	2007	Journal of STTT2007，9，56：	1
6	Heuristics for model checking java programs 显示文摘	Groce A Visser W	2004	Software Tools for Technology Transfer(STTT)2004，6，4：	1
7	Coloured Petri nets and CPN tools for modelling and validation of concurrent systems显示文摘	Kurt J Lars M K Lisa W	2007	International Journal on Software Tools for Technology Transfer (STTT)2007，，3：	1
8	Coloured Petri nets and CPN tools for modelling and validation of concurrent systems 显示文摘	Jensen K Kristensen L Wells L	2007	International Journal on Software Tools for Technology Transfer (STTT)2007，9，3：	1
9	Heuristics for Model Checking Java Programs显示文摘	Groce A Visser W	2004	International Journal on Software Tools for Technology Transfer (STTT)2004，6，3：	1
10	Parallel search for LTL violations 显示文摘	Jones M Sorber J	2005	Soft- ware Tools for Technology Transfer(STTT)2005，7，1：	1
11	Colcoured Petri Nesand CPN Tools for Modeling and Validation of ConcurrentSystems 显示文摘	Jensen K Kristensen L M Wells L	2007	International Journal on Software tools forTechnology Transfer(STTT)2007，9，3：	1
12	On-the-fly conformance testing using SPIN显示文摘	De Vries R G Tretmans J	2000	International Journal on Software Tools for Technology Transfer(STTT)2000，2，4：	1
13	The Practitioner's Guide to Coloured Petri nets显示文摘	Lars M K Christensen S_ren Kurt J	1998	Int J STTT1998，，2：	1
14	An agent-based approach to tool integration 显示文摘	Flavio Corradini Leonardo Mariani	2004	International Journal on Software Tools for Technology Transfer (STTT)2004，6，3：	1
15	Sequential and distributed model checking of Petri nets显示文摘	BELL A HAVERKORT BR	2005	International Journal on Software Tools for Technology Transfer (STTT)2005，7，1：	1
16	Creating exe- cutable models of influence nets with colored Petri nets 显示文摘	WAGENHALS L W SHIN I LEVIS A H	1998	International Journal of STTT Spring-Verlag1998，2，2：	1
17	A survey of new trends in symbolic execution for software testing and analysis 显示文摘	Psreanu S Visser W	2009	International Journal on Software 'Fools for Technology Transfer (STTT)2009，11，4：	1
18	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems显示文摘	Jensen K Kristensen L Wells L	2007	In- ternational Journal on Software Tools for Technology Transfer (STTT)2007，9，3：	1
19	TGV: Theory, Principles and Algorithms显示文摘	Claude Jard Thierry Jeeron	2005	STTT2005，7，4：	1
20	Model based develop- ment of access policies 显示文摘	Ruth Breu Gerhard Popp Muhammad Alam	2007	International Journal on Software Tools for Technology Transfer ( STTT )2007，9，5：	1

返回顶部每页显示：

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

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

用户提示