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

登录注册

全文

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

出版年度

	2022	1篇
	2021	1篇
	2010	1篇
	2009	1篇

作者

	Étienne André	4篇
	Laurent Fribourg	2篇
	Didier Lime	1篇
	Jawher Jerray	1篇
	Jeremy Sproston	1篇

Olivier H. Roux

1篇

文章类型

Research Article

2篇

来源期刊

	Electronic Communications of the EASST	1篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	IFAC PapersOnLine	1篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

3篇

语种

英文

4篇

国别/地区

	德国	2篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Étienne André")))) )) ) )"

共 4 条记录

排序：全选导出：

1.IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

作　　者：Étienne André

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;39:91-99.doi:10.4204/EPTCS.39.7

出版社：Open Publishing Association

文章 ID：83120055

文章详细全文下载
2.An Extension of the Inverse Method to Probabilistic Timed Automata

作　　者：Étienne André ;Jeremy Sproston ;Laurent Fribourg

出　　处：Electronic Communications of the EASST. 2009 ;23.

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

文章 ID：100465714

文章详细全文下载
3.An Approximation of Minimax Control using Random Sampling and Symbolic Computation

作　　者：Jawher Jerray ;Laurent Fribourg ;Étienne André

出　　处：IFAC PapersOnLine. 2021 ;54(5):265-270.doi:10.1016/j.ifacol.2021.08.509

出版社：Elsevier

文章 ID：1035328603

文章详细
4.REACHABILITY AND LIVENESS IN PARAMETRIC TIMED AUTOMATA

作　　者：Étienne André ;Didier Lime ;Olivier H. Roux

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-41.doi:10.46298/lmcs-18(1:31)2022

出版社：Technical University of Braunschweig

文章 ID：1038046968

文章详细

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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