論文

査読有り筆頭著者責任著者本文へのリンクあり国際共著

2013年

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

Integrated Formal Methods, 10th International Conference, iFM 2013

Daisuke Ishii
Guillaume Melquiond
Shin Nakajima

巻: LNCS 7940
号
開始ページ: 139
終了ページ: 153
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-642-38613-8_10
出版者・発行元: Springer

リンク情報

DOI: https://doi.org/10.1007/978-3-642-38613-8_10
DBLP: https://dblp.uni-trier.de/rec/conf/ifm/IshiiMN13
URL: http://hal.inria.fr/hal-00806701 本文へのリンクあり

ID情報

DOI : 10.1007/978-3-642-38613-8_10
DBLP ID : conf/ifm/IshiiMN13

エクスポート: BibTeX RIS

論文リストへ