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

34篇 您的检索式：作者名="HAVELUND K"

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

	题名	作者	年代	出处	被引量
1	Monitoring java programs with java pathexplorer显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Sci- ence2001，55，2：	1
2	Rule systems for run time monitoring: from Eagle to RuleR显示文摘	Barringer H Rydeheard D Havelund K	2010	Journal of Logic and Computation2010，20，3：	1
3	Event-based runtime verification of Java programs 显示文摘	dAmorim M Havelund K	2005	ACM SIGSOFT Software Engineering Notes2005，30，4：	1
4	Model Checking Programs 显示文摘	Visser W Havelund K Brat G	2003	Automated Software Engineering Journal2003，10，2：	1
5	Model Checking Java Programs Using Java PathFinder显示文摘	Havelund K Pressburger T	2000	International Journal on Software Tools for Technology Transfer (STI~F)2000，2，4：	1
6	Model checking Java programs using Java PathFinder 显示文摘	HAVELUND K PRESSBURGER T	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
7	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
8	A qualitative ex- amination of police officers' perception of football supporters 显示文摘	HAVELUND J JOERN L RASMUSSEN K	2015	Police Practice Res2015，16，1：	1
9	Formal analysis of a space-craft controller using SPIN 显示文摘	HAVELUND K LOWRY M PENIX J	2001	IEEE Transactions on Software Engineering2001，27，8：	1
10	Model Checking Programs Using Java Pathfinder显示文摘	Havelund K Pressburger T	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
11	Formal analysis of a space-craft controller using SPIN显示文摘	Havelund K Lowry M Penix J	2001	IEEE Transactions on Software Engineering2001，27，8：	1
12	Rewriting-based techniques for runtime verification显示文摘	Rosu G Havelund K	2005	Automated Software Engineering2005，12，2：	1
13	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
14	Program Model Checking as a New Trend 显示文摘	Havelund K Visser W	2002	International Journal on Software Tools for Technology Transfer2002，4，1：	1
15	Model Checking Java Programs Using Java PathFinder显示文摘	Havelund K Pressburger T	2000	International Journal on Software Tools for Technology Transfer2000，2，4：	1
16	Model checking java pro-grams using java pathfinder显示文摘	HAVELUND K PRESSBURGER T	2000	International Journal on Soft-ware Tools for Technology Transfer2000，2，4：	1
17	Monitoring Java Programs with Java PathExplorer显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Science2001，55，2：	1
18	Rewriting-Based Techniques for Runtime Verification显示文摘	Rosu G Havelund K	2004	Journal of Automated Software Engineering2004，12，2：	1
19	Model ChoCking Programs显示文摘	Visser W Havelund K Brat G	2003	Automated Software Enginering2003，10，2：	1
20	Model checking programs 显示文摘	Visser W Havelund K Brat G	2003	Automated Software Engineering Journal2003，10，2：	1

返回顶部每页显示：

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

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

用户提示