日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 詳細要約
  Symbolic Orthogonal Projections: A New Polyhedral Representation for Reachability Analysis of Hybrid Systems

Hagemann, W. (2015). Symbolic Orthogonal Projections: A New Polyhedral Representation for Reachability Analysis of Hybrid Systems. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0029-26AA-2 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0029-26AB-F
資料種別: 学位論文

ファイル

表示: ファイル

関連URL

表示:
非表示:
URL:
http://scidok.sulb.uni-saarland.de/volltexte/2015/6304/ (全文テキスト（全般）)
説明:
-
OA-Status:
Green
URL:
http://scidok.sulb.uni-saarland.de/doku/lic_ohne_pod.php?la=de (著作権譲渡合意書)
説明:
-
OA-Status:
Not specified

作成者

表示:
非表示:
 作成者:
Hagemann, Willem1, 2, 著者           
Weidenbach, Christoph1, 学位論文主査           
Fränzle, Martin3, 監修者
所属:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              
2International Max Planck Research School, MPI for Informatics, Max Planck Society, Campus E1 4, 66123 Saarbrücken, DE, ou_1116551              
3External Organizations, ou_persistent22              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2015-07-022015-11-272015
 出版の状態: 出版
 ページ: XIII, 94 p.
 出版情報: Saarbrücken : Universität des Saarlandes
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: HagemannPhd15
 学位: 博士号 (PhD)

関連イベント

表示:

訴訟

表示:

Project information

表示:

出版物

表示: