文献
J-GLOBAL ID:201702287272964246
整理番号:17A1631187
組み込み型実装凸最適化アルゴリズムの形式的検証【Powered by NICT】
Formal Verification for Embedded Implementation of Convex Optimization Algorithms
著者 (6件):
Cohen Raphael
(Georgia Institute of Technology, Atlanta, GA, USA)
,
Cohen Raphael
(Onera - The French Aerospace Lab, Toulouse, FRANCE)
,
Davy Guillaume
(Onera - The French Aerospace Lab, Toulouse, FRANCE)
,
Davy Guillaume
(CNRS-LAAS - Laboratory for Analysis and Architecture of Systems, Toulouse, FRANCE)
,
Feron Eric
(Georgia Institute of Technology, Atlanta, GA, USA)
,
Garoche Pierre-Loiec
(Onera - The French Aerospace Lab, Toulouse, FRANCE)
資料名:
IFAC PapersOnLine
(IFAC PapersOnLine)
巻:
50
号:
1
ページ:
5867-5874
発行年:
2017年
JST資料番号:
W3101A
ISSN:
2405-8963
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)