首页期刊浏览 2025年02月20日星期四

登录注册

全文

	有全文链接	1篇
	有本地全文	1篇

出版年度

2007

2篇

作者

	Jim Woodcock	2篇
	Emine G Aydal	1篇
	Richard Banach	1篇
	Richard F Paige	1篇

文章类型

Research Article

1篇

来源期刊

	Electronic Communications of the EASST	1篇
	Journal of Universal Computer Science	1篇

学科主题

计算技术、计算机技术

2篇

语种

英文

2篇

国别/地区

	奥地利	1篇
	德国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Jim Woodcock")))) )) ) )"

共 2 条记录

排序：全选导出：

1.Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse

作　　者：Emine G Aydal ;Richard F Paige ;Jim Woodcock

出　　处：Electronic Communications of the EASST. 2007 ;9.

出版社：European Association of Software Science and Technology (EASST)

文章 ID：100465523

文章详细全文下载
2.The Verification Grand Challenge

作　　者：Jim Woodcock ;Richard Banach

出　　处：Journal of Universal Computer Science. 2007 ;13(5):661-668.

出版社：Graz University of Technology and Know-Center

文章 ID：186875509

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有