1.Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL

作　　者：Henrik Ejersbo Jensen ;Kim G. Larsen ;Arne Skou

出　　处：BRICS Report Series. 1996 ;3(24).

出版社：Aarhus University

文章 ID：101759926

文章详细全文下载
2.Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL

作　　者：Klaus Havelund ;Arne Skou ;Kim G. Larsen 等

出　　处：BRICS Report Series. 1997 ;4(31).

出版社：Aarhus University

文章 ID：101759951

文章详细全文下载
3.Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL

作　　者：Klaus Havelund ;Kim G. Larsen ;Arne Skou

出　　处：BRICS Report Series. 1999 ;6(8).

出版社：Aarhus University

文章 ID：101760022

文章详细全文下载
4.Specification and Automated Verification of Real-Time Behaviour —A Case Study

作　　者：Jørgen H. Andersen ;Carsten H. Kristensen ;Arne Skou

出　　处：BRICS Report Series. 1995 ;2(60).

出版社：Aarhus University

文章 ID：101760060

文章详细全文下载
5.Automatic Verification of Real-Timed Systems Using EPSILON

作　　者：Jens Chr. Godskesen ;Kim G. Larsen ;Arne Skou

出　　处：BRICS Report Series. 1994 ;1(19).

出版社：Aarhus University

文章 ID：186804710

文章详细全文下载
6.Danfoss EKC Trial Project Deliverables

作　　者：Kim G. Larsen ;Ulrik Larsen ;Brian Nielsen 等

出　　处：BRICS Report Series. 2003 ;10(48).

出版社：Aarhus University

文章 ID：186804867

文章详细全文下载

	Arne Skou	6篇
	Kim G. Larsen	5篇
	Klaus Havelund	2篇
	Andrzej Wasowski	1篇
	Brian Nielsen	1篇

	Carsten H. Kristensen	1篇
	Henrik Ejersbo Jensen	1篇
	Jens Chr. Godskesen	1篇
	Jørgen H. Andersen	1篇
	Kristian Lund	1篇
	Ulrik Larsen	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Arne Skou")))) )) ) )"

	2003	1篇
	1999	1篇
	1997	1篇
	1996	1篇
	1995	1篇