文献
J-GLOBAL ID:201702211668585433
整理番号:17A1510881
ハイブリッドシステムモデルにおける因果関係ループの種別分析【Powered by NICT】
A type-based analysis of causality loops in hybrid systems modelers
著者 (8件):
Benveniste Albert
(Inria Rennes-Bretagne Atlantique, France)
,
Bourke Timothy
(Inria Paris, France)
,
Bourke Timothy
(Ecole normale superieure, PSL Research University, France)
,
Caillaud Benoit
(Inria Rennes-Bretagne Atlantique, France)
,
Pagano Bruno
(ANSYS/Esterel Technologies, France)
,
Pouzet Marc
(Sorbonne Universites, UPMC Univ Paris 06, France)
,
Pouzet Marc
(Ecole normale superieure, PSL Research University, France)
,
Pouzet Marc
(Inria Paris, France)
資料名:
Nonlinear Analysis: Hybrid Systems
(Nonlinear Analysis: Hybrid Systems)
巻:
26
ページ:
168-189
発行年:
2017年
JST資料番号:
A1179A
ISSN:
1751-570X
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)