文献
J-GLOBAL ID:201702243641165911
整理番号:17A1546229
反例誘導抽象化精密化を用いた大規模離散状態空間を持つ線形ハイブリッド系の検証【Powered by NICT】
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
著者 (12件):
Althaus Ernst
(Johannes Gutenberg-Universitaet Mainz, Staudinger Weg 9, 55128 Mainz, Germany)
,
Althaus Ernst
(Max-Planck-Institut fuer Informatik, Campus E1.4, 66123 Saarbruecken, Germany)
,
Beber Bjorn
(Johannes Gutenberg-Universitaet Mainz, Staudinger Weg 9, 55128 Mainz, Germany)
,
Beber Bjorn
(Max-Planck-Institut fuer Informatik, Campus E1.4, 66123 Saarbruecken, Germany)
,
Damm Werner
(Carl von Ossietzky Universitaet Oldenburg, Ammerlaender Heerstr. 114-118, 26111 Oldenburg, Germany)
,
Damm Werner
(OFFIS e.V., Escherweg 2, 26121 Oldenburg, Germany)
,
Disch Stefan
(Albert-Ludwigs-Universitaet Freiburg, Georges-Kohler-Allee 51, 79110 Freiburg, Germany)
,
Hagemann Willem
(Carl von Ossietzky Universitaet Oldenburg, Ammerlaender Heerstr. 114-118, 26111 Oldenburg, Germany)
,
Rakow Astrid
(Carl von Ossietzky Universitaet Oldenburg, Ammerlaender Heerstr. 114-118, 26111 Oldenburg, Germany)
,
Scholl Christoph
(Albert-Ludwigs-Universitaet Freiburg, Georges-Kohler-Allee 51, 79110 Freiburg, Germany)
,
Waldmann Uwe
(Max-Planck-Institut fuer Informatik, Campus E1.4, 66123 Saarbruecken, Germany)
,
Wirtz Boris
(Carl von Ossietzky Universitaet Oldenburg, Ammerlaender Heerstr. 114-118, 26111 Oldenburg, Germany)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
148
ページ:
123-160
発行年:
2017年
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)