1.Using SMT for dealing with nondeterminism in ASM-based runtime verification

作　　者：Paolo Arcaini ;Angelo Gargantini ;Elvinia Riccobene

出　　处：Electronic Communications of the EASST. 2014 ;70.

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

文章 ID：100465446

文章详细全文下载
2.A Metamodel-based Language and a Simulation Engine for Abstract State Machines

作　　者：Angelo Gargantini ;Elvinia Riccobene ;Patrizia Scandurra

出　　处：Journal of Universal Computer Science. 2008 ;14(12):1949-1983.

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

文章 ID：186873651

文章详细
3.Formal Analysis of the Kerberos Authentication System

作　　者：Giampaolo Bella ;Elvinia Riccobene

出　　处：Journal of Universal Computer Science. 1997 ;3(12):1337-1381.

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

文章 ID：186874803

文章详细全文下载
4.Capturing Requirements by Abstract State Machines: The Light Control Case Study

作　　者：Egon Börger ;Elvinia Riccobene ;Joachim Schmid

出　　处：Journal of Universal Computer Science. 2000 ;6(7):597-620.

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

文章 ID：186874958

文章详细
5.ASM-Based Testing: Coverage Criteria and Automatic Test Sequence

作　　者：Angelo Gargantini ;Elvinia Riccobene

出　　处：Journal of Universal Computer Science. 2001 ;7(11):1050-1067.

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

文章 ID：186875342

文章详细

	有全文链接	3篇
	有本地全文	2篇

	奥地利	4篇
	德国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Elvinia Riccobene")))) )) ) )"

	Elvinia Riccobene	5篇
	Angelo Gargantini	3篇
	Egon Börger	1篇
	Giampaolo Bella	1篇
	Joachim Schmid	1篇

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

	2014	1篇
	2008	1篇
	2001	1篇
	2000	1篇
	1997	1篇

	Paolo Arcaini	1篇
	Patrizia Scandurra	1篇