1.Modeling a Language for Embedded Systems in Timed Automata

作　　者：Thomas S. Hune

出　　处：BRICS Report Series. 2000 ;7(17).

出版社：Aarhus University

文章 ID：101759797

文章详细全文下载
2.Using Automata in Control Synthesis. A Case Study

作　　者：Thomas S. Hune ;Anders B. Sandholm

出　　处：BRICS Report Series. 2000 ;7(22).

出版社：Aarhus University

文章 ID：101759849

文章详细全文下载
3.Timed Bisimulation and Open Maps

作　　者：Mogens Nielsen ;Thomas S. Hune

出　　处：BRICS Report Series. 1998 ;5(4).

出版社：Aarhus University

文章 ID：101759851

文章详细全文下载
4.Linear Parametric Model Checking of Timed Automata

作　　者：Thomas S. Hune ;Judi Romijn ;Mariëlle Stoelinga 等

出　　处：BRICS Report Series. 2001 ;8(5).

出版社：Aarhus University

文章 ID：101759912

文章详细全文下载
5.Guided Synthesis of Control Programs for a Batch Plant using UPPAAL

作　　者：Thomas S. Hune ;Kim G. Larsen ;Paul Pettersson

出　　处：BRICS Report Series. 2000 ;7(37).

出版社：Aarhus University

文章 ID：101759960

文章详细全文下载
6.Minimum-Cost Reachability for Priced Timed Automata

作　　者：Gerd Behrmann ;Ansgar Fehnker ;Thomas S. Hune 等

出　　处：BRICS Report Series. 2001 ;8(3).

出版社：Aarhus University

文章 ID：101760033

文章详细全文下载
7.Efficient Guiding Towards Cost-Optimality in UPPAAL

作　　者：Gerd Behrmann ;Ansgar Fehnker ;Thomas S. Hune 等

出　　处：BRICS Report Series. 2001 ;8(4).

出版社：Aarhus University

文章 ID：101760101

文章详细全文下载

	Frits W. Vaandrager	2篇
	Gerd Behrmann	2篇
	Anders B. Sandholm	1篇
	Mariëlle Stoelinga	1篇
	Mogens Nielsen	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thomas S. Hune")))) )) ) )"

	Thomas S. Hune	7篇
	Judi Romijn	3篇
	Kim G. Larsen	3篇
	Paul Pettersson	3篇
	Ansgar Fehnker	2篇

	2001	3篇
	2000	3篇
	1998	1篇