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

维普中文期刊产品整合服务

18篇 您的检索式：作者名="ROSU G"

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

		题名	作者	年代	出处	被引量
	1	Monitoring java programs with java pathexplorer显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Sci- ence2001，55，2：	1
	2	Semantics and Aigorithms for Parametric Monitoring显示文摘	Rosu G Chen Feng	2012	Logical Methods in Computer Science2012，8，1：	1
	3	MOP:An Efficient and Generic Runtime Verification Framework显示文摘	CHEN F ROSU G	2007	Acre Sigplan Notices2007，42，10：	1
	4	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
	5	Rewriting-based techniques for runtime verification显示文摘	Rosu G Havelund K	2005	Automated Software Engineering2005，12，2：	1
	6	Rewriting-based techniques for running verification 显示文摘	Rosu G Havelund K	2005	Journal of Automated Software Engineering2005，12，2：	1
	7	Institution morphisms显示文摘	Goguen J Rosu G	2002	Formal aspects of computing2002，13，35：	1
	8	Online efficient predictive safety analysis of multithreaded programs显示文摘	Sen K Rosu G Agha G	2006	International Journal on Software Technology and Tools Transfer2006，，：	1
	9	Monitoring Java Programs with Java PathExplorer显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Science2001，55，2：	1
	10	Rewriting-Based Techniques for Runtime Verification显示文摘	Rosu G Havelund K	2004	Journal of Automated Software Engineering2004，12，2：	1
	11	The heart rate slowing effect of pindolol in patients with digitalis resistant atrial fibrillation and heart failure 显示文摘	Rosu D Deutsch G	1986	Rev Rouni Med-Med Iht1986，24，：	1
	12	A rewriting logic approach to operational semantics显示文摘	Serbanuta T F Rosu G Meseguer J	2009	Information and Computation2009，207，2：	1
	13	The rewriting logic semantics project显示文摘	MESEGUER J ROSU G	2007	Theoretical Computer Science2007，373，3：	1
	14	Institution morphisms显示文摘	Goguen J Rosu G	2002	Formal aspects of computing2002，13，35：	1
	15	Mop: An efficient and generic runtime veri- fication framework显示文摘	Chen F Rosu G	2007	ACM SIGPLAN Notices2007，42，10：	1
	16	Monitoring java programs with java pathexplorer显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Sci- ence2001，55，2：	1
	17	Monitoring Java Program with Java Path Explorer 显示文摘	Havelund K Rosu G	2001	Electronic Notes in Theoretical Computer Science2001，55，2：	1
	18	Advances in 4D radiation therapy for managing respiration : Part I- 4D imaging 显示文摘	HUGO G D ROSU M	2012	Z Med Phys2012，22，4：	1

返回顶部每页显示：

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

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

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