1.Refinement for Probabilistic Systems with Nondeterminism

作　　者：Steve Reeves ;David Streader

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;55:84-100.doi:10.4204/EPTCS.55.6

出版社：Open Publishing Association

文章 ID：83120179

文章详细全文下载
2.Preface to the proceedings of FMIS 2013

作　　者：Judy Bowen ;Steve Reeves

出　　处：Electronic Communications of the EASST. 2013 ;69(0).

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

文章 ID：101777665

文章详细全文下载
3.Preface for FMIS 2011

作　　者：Judy Bowen ;Steve Reeves

出　　处：Electronic Communications of the EASST. 2011 ;45.

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

文章 ID：100465842

文章详细全文下载
4.UI-Design Driven Model-Based Testing

作　　者：Judy Bowen ;Steve Reeves

出　　处：Electronic Communications of the EASST. 2010 ;22.

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

文章 ID：185429179

文章详细全文下载
5.Preface to the proceedings of FMIS 2013

作　　者：Judy Bowen ;Steve Reeves

出　　处：Electronic Communications of the EASST. 2015 ;69.

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

文章 ID：185430547

文章详细全文下载
6.Constructing Programs or Processes

作　　者：Steve Reeves ;David Streader

出　　处：Journal of Universal Computer Science. 2005 ;11(12):2034-2045.

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

文章 ID：186875556

文章详细

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

	德国	4篇
	奥地利	1篇
	澳大利亚	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Steve Reeves")))) )) ) )"

	Electronic Communications of the EASST	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Universal Computer Science	1篇

	2015	1篇
	2013	1篇
	2011	2篇
	2010	1篇
	2005	1篇

	Steve Reeves	6篇
	Judy Bowen	4篇
	David Streader	2篇